Enhancing disjunctive logic programming systems by SAT checkers

Koch, ChristophLeone, NicolaPfeifer, Gerald2011-06-142011-06-142011-06-14200310.1016/S0004-3702(03)00078-Xhttps://infoscience.epfl.ch/handle/20.500.14299/68684Enhancing disjunctive logic programming systems by SAT checkerstext::journal::journal article::research article