Home > Enhancing disjunctive logic programming systems by SAT checkers
 

Enhancing disjunctive logic programming systems by SAT checkers

Koch, Christoph ; Leone, Nicola ; Pfeifer, Gerald

Published in:
Artif. Intell., 151, 1-2, 177-212
Year:
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



 Record created 2011-06-14, last modified 2018-03-17


Rate this document:

Rate this document:
1
2
3
4
5
 
(Not yet reviewed)