Solving QBF with Free Variables.

William Klieber Mikolás Janota João Marques-Silva Edmund M. Clarke

Published in: CP (2013)

Keyphrases

boolean formula
quadratic programming problems
variable selection
quantified boolean formulas
combinatorial optimization
continuous variables
nonlinear programming
variable ordering
universally quantified
np complete
linear constraints
constraint problems
equality constraints
finite domain