Enhancing disjunctive logic programming systems by SAT checkers
Christoph Koch, Nicola Leone, Gerald PfeiferVolume:
151
Year:
2003
Language:
english
Pages:
36
DOI:
10.1016/s0004-3702(03)00078-x
File:
PDF, 468 KB
english, 2003