Enhancing disjunctive logic programming systems by SAT checkers

• Published in: Artif. Intell., vol. 151, num. 1-2, p. 177-212
• Publication date: 2003

Note:

Journal version of IJCAI 1999 paper.

Reference

• EPFL-ARTICLE-166883
• doi:10.1016/S0004-3702(03)00078-X

Record created on 2011-06-14, modified on 2017-05-12