1. Intelligent backtracking on constraint satisfaction problems: experimental and theoretical results;Baker,1995
2. A complexity analysis of space-bounded learning algorithms for the constraint satisfaction problem;Bayardo,1996
3. Using csp look-back techniques to solve exceptionally hard sat instances;Bayardo,1996
4. Using CSP look-back techniques to solve real-world SAT instances;Bayardo,1997
5. On-line learning from search failures;Bhatnagar;Machine Learning,1994