The Promise Polynomial Hierarchy

Adam Chalcraft Samuel Kutin David Petrie Moulton

Published in: CoRR (2013)

Keyphrases

polynomial hierarchy
disjunctive logic programming
answer sets
dnf formulas
dl lite
worst case
data management
phase transition