History
Year:
-
Type:
Journal
Book
Article
Please fill in your query. A complete syntax description you will find on the General Help page.
Simplification and Elimination of Redundant Linear Arithmetic Constraints. (English)
WCLP, 73-87(1991)
WorldCat.org
Valid XHTML 1.0 Transitional Valid CSS!