Chen, X. and van Beek, P., "Conflict-Directed Backjumping Revisited", (JAIR) Volume 14, pages 53-81.<br>
[ <A HREF="jair01.ps">ps</A> | <A HREF="jair01.pdf">pdf</A> ]
<p>
Roberto J. Bayardo Jr., Robert C. Schrag, "Using CSP Look-Back Techniques to Solve Real-World SAT Instances", Appears in Proc. of the 14th Nat’l Conf. on Artificial Intelligence, 203-208, 1997.<br>
[ <A HREF="http://www.almaden.ibm.com/cs/people/bayardo/ps/aaai97.pdf">pdf</A> ]
<p>
Roberto J. Bayardo Jr., Robert Schrag, "Using CSP Look-Back Techniques to Solve Exceptionally Hard SAT Instances", Appears in Proc. of the Second Int’l Conf. on Principles and Practice of Constraint Programming, 46-60, 1996.<br>
[ <A HREF="http://www.almaden.ibm.com/cs/people/bayardo/ps/cp96.pdf">pdf</A> ]
<p>
Roberto J. Bayardo Jr., and Daniel P. Miranker, "A Complexity Analysis of Space-Bounded Learning Algorithms for the Constraint Satisfaction Problem", Appeared in Proc. of the 13th Nat’l Conf. on Artificial Intelligence, 298-304, 1996.<br>
[ <A HREF="http://www.almaden.ibm.com/cs/people/bayardo/ps/aaai96.pdf">pdf</A> ]
<p>
Roberto J. Bayardo Jr. and Daniel P. Miranker, "On the Space-Time Trade-off in Solving Constraint Satisfaction Problems", Appeared in Proc. of the 14th Int’l Joint Conf. on Artificial Intelligence, 558-562, 1995.<br>
[ <A HREF="http://www.almaden.ibm.com/cs/people/bayardo/ps/ijcai95.pdf">pdf</A> ]