Automatic modular abstractions for linear constraints.

Published in: POPL (2009)

Keyphrases

linear constraints
constraint databases
equality constraints
nonlinear programming
linearly constrained
high dimensional
k means
convex sets
decomposition algorithm
linear relaxation