|
27
|
Backtracking algorithms for constraint satisfaction problems
– Rina Dechter, Daniel Frost
- 1999
|
|
|
Backtrack-Bounded Search in Polynomial Space
– Roberto Bayardo, Jr., Daniel P. Miranker
- 1994
|
|
44
|
Intelligent Backtracking On Constraint Satisfaction Problems: Experimental And Theoretical Results
– Andrew B. Baker
- 1995
|
|
3
|
Representation and Reasoning with Non-Binary Constraints
– Kostas Stergiou
- 2001
|
|
26
|
On the space-time trade-off in solving constraint satisfaction problems
– Roberto J. Bayardo, Daniel P. Miranker
- 1995
|
|
6
|
Backtracking Search Algorithms
– Peter van Beek
- 2006
|
|
5
|
A note on CSP graph parameters
– T. Schiex
- 1999
|
|
30
|
Backjump-based Backtracking for Constraint Satisfaction Problems
– Rina Dechter, Daniel Frost
- 2002
|
|
36
|
Counting Models using Connected Components
– Roberto J. Bayardo, Jr., J. D. Pehoushek
- 2000
|
|
36
|
Hybrid backtracking bounded by tree-decomposition of constraint networks
– Cyril Terrioux
- 2003
|
|
328
|
Algorithms for Constraint Satisfaction Problems: A Survey
– Vipin Kumar
- 1992
|
|
|
Réseaux De Contraintes
– Thomas Schiex
- 2000
|
|
3
|
Hard, flexible and dynamic constraint satisfaction
– Ian Miguel, Qiang Shen
- 1999
|
|
45
|
Domain Filtering Consistencies
– Romuald Debruyne, Christian Bessière
- 2001
|
|
13
|
Dynamic Flexible Constraint Satisfaction and its Application to AI Planning
– Ian Miguel, D I N Bu
- 2001
|
|
|
Constraints, Varieties, and Algorithms
– M. R. C. Van Dongen
- 2002
|
|
39
|
Resolution versus Search: Two Strategies for SAT
– Irina Rish, Rina Dechter
- 2000
|
|
107
|
Algorithms for the Satisfiability (SAT) Problem: A Survey
– Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah
- 1996
|
|
32
|
Intelligent Backtracking Techniques for Job Shop Scheduling
– Yalin Xiong, Norman Sadeh, Katia Sycara
- 1992
|
