Automatic Modular Abstractions for Linear Constraints

Published in: CoRR (2008)

Keyphrases

linear constraints
linearly constrained
constraint databases
convex sets
nonlinear programming
quadratic program
equality constraints
training set
query language
constraint solver