collaborators

1 paper

cs.LO2016

Lifting QBF Resolution Calculi to DQBF

Olaf Beyersdorff, Leroy Chew, Renate Schmidt +1

We examine the existing Resolution systems for quantified Boolean formulas (QBF) and answer the question which of these calculi can be lifted to the more powerful Dependency QBFs (…