Typing linear constraints.

Salvatore Ruggieri Fred Mesnard

Published in: ACM Trans. Program. Lang. Syst. (2010)

Keyphrases

linear constraints
constraint databases
nonlinear programming
convex sets
equality constraints
linearly constrained
constraint solver
quadratic program
training data
convex constraints
linear relaxation