[Back]


Publications in Scientific Journals:
C. Koch, N. Leone, G. Pfeifer:
"Enhancing disjunctive logic programming systems by SAT checkers";
Artificial Intelligence, Volume 151 (2003), Issues 1-2; 177 - 212.

Created from the Publication Database of the Vienna University of Technology.