Extension Variables in QBF Resolution.

Olaf Beyersdorff Leroy Chew Mikolas Janota

Published in: AAAI Workshop: Beyond NP (2016)

Keyphrases

universally quantified
quantified boolean formulas
high resolution
boolean formula
search algorithm
random variables
higher resolution
data sets
neural network
variable selection
sampling rate
relevant variables
quantified boolean formulae