Extension Variables in QBF Resolution.

Olaf Beyersdorff Leroy Chew Mikolas Janota

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

Keyphrases

universally quantified
high resolution
variable selection
quantified boolean formulas
input variables
relevant variables
quantified boolean formulae
high quality
objective function
search algorithm
multiresolution
low resolution
conditional probabilities
causal models
sampling rate
higher resolution