A.Kotzamanidis. Intelligent Backtracking in Logic Programming with Constraints over the Real Numbers (PhD thesis, 1995)
M. L. Ginsberg, D. A. McAllester. GSAT and Dynamic Backtracking (1994)
M. Wallace. Survey: Practical Applications of Constraint Programming (1995)
M. Wallace. Constraint Programming (1995)