A CLP Language Handling Disjunctions of Linear Constraints

Bruno De Backer, Henri Beringer. A CLP Language Handling Disjunctions of Linear Constraints. In ICLP. pages 550-563, 1993.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.