Active Bibliography

28 Backtracking algorithms for constraint satisfaction problems – Rina Dechter, Daniel Frost - 1999
47 Intelligent Backtracking On Constraint Satisfaction Problems: Experimental And Theoretical Results – Andrew B. Baker - 1995
37 Backjump-based Backtracking for Constraint Satisfaction Problems – Rina Dechter, Daniel Frost - 2002
28 Conflict-Directed Backjumping Revisited – Xinguang Chen, Peter van Beek - 2001
10 Backtracking Search Algorithms – Peter van Beek - 2006
Chapter 4 Constraint Programming – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Francesca Rossi, Peter Van Beek, Toby Walsh
372 Algorithms for Constraint Satisfaction Problems: A Survey – Vipin Kumar - 1992
5 A Method of Program Understanding using Constraint Satisfaction for Software Reverse Engineering – Steven Woods - 1996
427 Partial Constraint Satisfaction – Eugene C. Freuder, Richard J. Wallace - 1992
25 Constraint tightness and looseness versus local and global consistency – Peter Van Beek, Rina Dechter - 1997
Constraints, Varieties, and Algorithms – M. R. C. Van Dongen - 2002
137 Reasoning about Qualitative Temporal Information – Peter Van Beek - 1992
161 Improvements To Propositional Satisfiability Search Algorithms – Jon William Freeman - 1995
26 On The Forward Checking Algorithm – Fahiem Bacchus, Adam Grove - 1995
127 Algorithms for the Satisfiability (SAT) Problem: A Survey – Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah - 1996
8 On the Inherent Level of Local Consistency in Constraint Networks – Peter van Beek - 1994
13 Forward Checking with Backmarking – Patrick Prosser - 1993
Hybrid backtracking bounded by – Cyril Terrioux - 2002
3 Looking Forward in Constraint Satisfaction Algorithms – Fahiem Bacchus, Adam Grove - 1999