A Computational Complexity-Theoretic Elaboration of Weak Truth-Table Reducibility

Published in: CoRR (2011)

Keyphrases

complexity theoretic
truth table
database
consistent query answering
databases
objective function
dnf formulas
special case
np hard
linear programming
constraint satisfaction
boolean functions
defeasible logic