Infoscience

Journal article

Enhancing disjunctive logic programming systems by SAT checkers

Fulltext

Related material