|
6
|
Backtracking Search Algorithms
– Peter van Beek
- 2006
|
|
3
|
Representation and Reasoning with Non-Binary Constraints
– Kostas Stergiou
- 2001
|
|
27
|
Backtracking algorithms for constraint satisfaction problems
– Rina Dechter, Daniel Frost
- 1999
|
|
45
|
Domain Filtering Consistencies
– Romuald Debruyne, Christian Bessière
- 2001
|
|
30
|
Backjump-based Backtracking for Constraint Satisfaction Problems
– Rina Dechter, Daniel Frost
- 2002
|
|
44
|
Intelligent Backtracking On Constraint Satisfaction Problems: Experimental And Theoretical Results
– Andrew B. Baker
- 1995
|
|
61
|
Increasing Constraint Propagation by Redundant Modeling: an Experience Report
– B. M. W. Cheng, K. M. F. Choi, J. H. M. Lee, J. C. K. Wu
- 1999
|
|
55
|
An Empirical Study of Dynamic Variable Ordering Heuristics for the Constraint Satisfaction Problem
– Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh
- 1996
|
|
9
|
A Constraint Based Structure Description Language for Biosequences
– Ingvar Eidhammer, David Gilbert, Inge Jonassen, Madu Ratnayake, Svenn Helge Grindhaug
- 1997
|
|
18
|
A.C.M. An attempt to map the performance of a range of algorithm and heuristic combinations
– Edward P. K. Tsang, James E. Borrett, Alvin C. M. Kwan, Colchester Co Sq
- 1995
|
|
31
|
MAC-CBJ: maintaining arc consistency with conflict-directed backjumping
– Patrick Prosser
- 1995
|
|
|
Réseaux De Contraintes
– Thomas Schiex
- 2000
|
|
27
|
Scaling Effects in the CSP Phase Transition
– Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh
- 1995
|
|
22
|
The Phase Transition Behaviour of Maintaining Arc Consistency
– Stuart A. Grant, Barbara M. Smith
- 1995
|
|
44
|
Nonsystematic Backtracking Search
– William D. Harvey, Matthew L. Ginsberg
- 1995
|
|
13
|
Forward Checking with Backmarking
– Patrick Prosser
- 1993
|
|
390
|
Partial Constraint Satisfaction
– Eugene C. Freuder, Richard J. Wallace
- 1992
|
|
107
|
Algorithms for the Satisfiability (SAT) Problem: A Survey
– Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah
- 1996
|
|
3
|
Hard, flexible and dynamic constraint satisfaction
– Ian Miguel, Qiang Shen
- 1999
|