Enhancing disjunctive logic programming systems by SAT checkers
Koch, Christoph; Leone, Nicola; Pfeifer, Gerald
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.
DOI 10.1016/S0004-3702(03)00078-X
Laboratories DATA
Record Appears in Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > DATA - Data Analysis Theory and Applications Laboratory
Peer-reviewed publications
Work outside EPFL
Journal Articles
Published

Actions