Solving Existentially Quantified Constraints with One Equality and Arbitrarily Many Inequalities.

Stefan Ratschan

Published in: CP (2003)

Keyphrases

existentially quantified
mixed integer
linear inequalities
universally quantified
linear constraints
valid inequalities
lower bound
linear programming
first order logic
constraint satisfaction
constraint programming