A Finite Domain CLP Solver on Top of Mercury

Henk Vandecasteele, Bart Demoen, Gerda Janssens. A Finite Domain CLP Solver on Top of Mercury. In Krzysztof R. Apt, Antonis C. Kakas, Eric Monfroy, Francesca Rossi, editors, New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999, Selected Papers. Volume 1865 of Lecture Notes in Computer Science, pages 256-273, Springer, 1999. [doi]

Abstract

Abstract is missing.