Backtracking schemes


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)