Experiments with UNA for solving linear constraints in real variables.

Neelam Gupta YongJun Cho Mohammad Z. Hossain

Published in: SAC (2004)

Keyphrases

linear constraints
linearly constrained
nonlinear programming
equality constraints
quadratic program
linear relaxation
binary variables
boolean formula
constraint databases
convex sets
constraint solver
np complete
random variables