Polynomial Local Search in the Polynomial Hierarchy and Witnessing in Fragments of Bounded Arithmetic.

Arnold Beckmann Samuel R. Buss

Published in: J. Math. Log. (2009)

Keyphrases

heuristic search
polynomial hierarchy
search algorithm
search space
disjunctive logic programming
dnf formulas
answer sets
dl lite
optimal solution
natural language
knowledge representation
special case
upper bound
constraint satisfaction problems