On Unification of QBF Resolution-Based Calculi.

Mikolas Janota Leroy Chew Olaf Beyersdorff

Published in: Electron. Colloquium Comput. Complex. (2014)

Keyphrases

low resolution
quantified boolean formulas
consequence finding
higher order
high resolution
quantified boolean formulae
reasoning problems
knuth bendix