Extending clp(FD) by Negative Constraint Solving

Antonio J. Fernández, Patricia M. Hill. Extending clp(FD) by Negative Constraint Solving. In Maria Chiara Meo, Manuel Vilares Ferro, editors, 1999 Joint Conference on Declarative Programming, AGP 99, L Aquila, Italy, September 6-9, 1999. pages 137-150, 1999.

Abstract

Abstract is missing.