Extending arbitrary solvers with constraint handling rules (2003)

by G J Duck, P J Stuckey, M Garcia de la Banda, C Holzbaur
Venue:In Proc. of PPDP’03