Lifting QBF Resolution Calculi to DQBF.

Olaf Beyersdorff Leroy Chew Renate A. Schmidt Martin Suda

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

Keyphrases

high resolution
wavelet transform
quantified boolean formulas
low resolution
lifting scheme
clause learning
quantified boolean formulae
consequence finding
genetic algorithm
sampling rate