Extending arbitrary solvers with constraint handling rules.

Gregory J. Duck, Peter J. Stuckey, Maria J. Garca de la Banda, Christian Holzbaur

Browse the full PPDP paper archive.