Bounded Arithmetic and the Polynomial Hierarchy.

Jan Krajícek Pavel Pudlák Gaisi Takeuti

Published in: Ann. Pure Appl. Log. (1991)

Keyphrases

polynomial hierarchy
disjunctive logic programming
answer sets
dnf formulas
logic programs
phase transition
membership queries