Lifting QBF Resolution Calculi to DQBF.

Olaf Beyersdorff Leroy Chew Renate A. Schmidt Martin Suda

Published in: CoRR (2016)

Keyphrases

low resolution
quantified boolean formulas
high resolution
wavelet transform
consequence finding
np hard
spatial information
reasoning problems
qualitative spatial and temporal reasoning