On truth-table reducibility to SAT and the difference hierarchy over NP.

Samuel R. Buss Louise Hay

Published in: Computational Complexity Conference (1988)

Keyphrases

truth table
defeasible logic
boolean functions
dnf formulas
satisfiability problem
log log
sat solvers
sat problem
search algorithm
conjunctive queries
search strategies
max sat