Building constraint solvers with (2001)

by M Garca de la Banda, D Jeery, K Marriott, P J Stuckey, N Nethercote, C Holzbaur
Venue:Logic Programming: Proceedings of the 17th International Conference, LNCS