Enhancing disjunctive logic programming systems by SAT checkers.

Christoph Koch Nicola Leone Gerald Pfeifer

Published in: Artif. Intell. (2003)

Keyphrases

disjunctive logic programming
expert systems
search algorithm
computational complexity