Definability over Linear Constraints.

Michael Benedikt H. Jerome Keisler

Published in: CSL (2000)

Keyphrases

linear constraints
fixed point
propositional logic
constraint databases
nonlinear programming
constraint solver
linearly constrained
quadratic program
convex sets
equality constraints
linear relaxation
feature space
constraint satisfaction problems
mathematical program