The Adaptive Constraint Engine. - Susan L. Epstein; Eugene C. Freuder; Richard J. Wallace; Anton Morozov; Bruce Samuels (CP, 2002)