Simplification and Elimination of Redundant Linear Arithmetic Constraints.

Jean-Louis Lassez Tien Huynh Ken McAloon

Published in: NACLP (1989)

Keyphrases

linear arithmetic constraints
linear programming
sat encodings
lower bound
database systems
preprocessing
metaheuristic