Small Resolution Proofs for QBF using Dependency Treewidth.

Eduard Eiben Robert Ganian Sebastian Ordyniak

Published in: CoRR (2017)

Keyphrases

search space
upper bound
search algorithm
small number
decision problems
quantified boolean formulas
tree decompositions