Standard Forms for Rational Linear Arithmetic in Constraint Logic Programming

Pascal Van Hentenryck, Thomas Graf. Standard Forms for Rational Linear Arithmetic in Constraint Logic Programming. Annals of Mathematics and Artificial Intelligence, 5(2-4):303-319, 1992.

Abstract

Abstract is missing.