Building Constraint Solvers with HAL.

Maria J. Garca de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur

Browse the full ICLP paper archive.