Enhancing disjunctive logic programming systems by SAT checkers


Published in:
Artif. Intell., 151, 1-2, 177-212
Year:
2003
Note:
Journal version of IJCAI 1999 paper.
Laboratories:




 Record created 2011-06-14, last modified 2018-09-13


Rate this document:

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