Nicola Leone;Clara Pizzutit;Pasquale Rullo
-;-;-
Enhancing disjunctive logic programming systems by SAT checkers
Artificial Intelligence