Searching for "Simplification and Elimination of Redundant Linear Arithmetic Constraints." – sorted by Relevance.
-
Constraint Logic Programming: A Bibliography
- -Louis Lassez, Tien Huynh, and Ken McAloon. Simplification and elimination of redundant linear arithmetic
- Add To MetaCart

