The Operators min and max on the Polynomial Hierarchy

Harald Hempel Gerd Wechsung

Published in: Electron. Colloquium Comput. Complex. (1997)

Keyphrases

polynomial hierarchy
disjunctive logic programming
answer sets
dnf formulas
databases
phase transition
dl lite
database
orders of magnitude