A solver for quantified Boolean and linear constraints.

Lucas Bordeaux Lintao Zhang

Published in: SAC (2007)

Keyphrases

linear constraints
boolean formula
constraint solver
conjunctive normal form
constraint databases
nonlinear programming
linearly constrained
quantified boolean formulas
boolean functions
real valued
equality constraints
optimal solution
convex sets
quadratic program
convex constraints