Enhancing disjunctive logic programming systems by SAT checkers
2003
Details
Title
Enhancing disjunctive logic programming systems by SAT checkers
Author(s)
Koch, Christoph ; Leone, Nicola ; Pfeifer, Gerald
Published in
Artif. Intell.
Volume
151
Issue
1-2
Pages
177-212
Date
2003
Note
Journal version of IJCAI 1999 paper.
Laboratories
DATA