A Cube Distribution Approach to QBF Solving and Certificate Minimization.

Li-Cheng Chen Jie-Hong R. Jiang

Published in: CP (2019)

Keyphrases

spatial distribution
quantified boolean formulas
objective function
multi dimensional
probability distribution
orders of magnitude
random variables
data distribution
bayesian networks
boolean formula
linearly constrained