|
311
|
Hybrid Algorithms for the Constraint Satisfaction Problem
– Patrick Prosser
- 1993
|
|
636
|
A machine program for theorem proving
– M Davis, G Logemann, D Loveland
- 1962
|
|
323
|
GSAT and Dynamic Backtracking
– Matthew L. Ginsberg, David A. McAllester
- 1994
|
|
250
|
Enhancement schemes for constraint processing: Backjumping, learning and cutset decomposition
– R Dechter
- 1990
|
|
837
|
Constraint Networks
– Rina Dechter
- 1992
|
|
620
|
A New Method for Solving Hard Satisfiability Problems
– Bart Selman, Hector Levesque, David Mitchell
- 1992
|
|
217
|
Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
– R M Stallman, G J Sussman
- 1977
|
|
182
|
Using CSP look-back techniques to solve real-world SAT instances
– Roberto J. Bayardo
- 1997
|
|
67
|
Dead-End Driven Learning
– Daniel Frost, Rina Dechter
- 1994
|
|
360
|
Network-based heuristics for constraint satisfaction problems
– R Dechter, J Pearl
- 1987
|
|
412
|
Increasing Tree Search Efficiency for Constraint Satisfaction Problems
– R M Haralick, G L Elliot
- 1980
|
|
109
|
Recursive conditioning
– A Darwiche
- 2001
|
|
67
|
Taking advantage of stable sets of variables in constraint satisfaction problems
– Eugene C. Freuder, Michael J. Quinn
- 1985
|
|
44
|
Intelligent Backtracking On Constraint Satisfaction Problems: Experimental And Theoretical Results
– Andrew B. Baker
- 1995
|
|
918
|
Consistency in networks of relations
– Alan Mackworth
- 1977
|
|
230
|
Tree clustering for constraint networks
– R Dechter, J Pearl
- 1989
|
|
13
|
Algorithms and Heuristics for Constraint Satisfaction Problems
– Daniel Frost
- 1997
|
|
186
|
Experimental Results on the Crossover Point in Satisfiability Problems
– James M. Crawford, Larry D. Auton
- 1993
|
|
141
|
Improvements To Propositional Satisfiability Search Algorithms
– Jon William Freeman
- 1995
|
