|
31
|
Using CSP Look-Back Techniques to Solve Exceptionally Hard SAT Instances
– Roberto J. Bayardo, Robert Schrag
- 1996
|
|
36
|
Counting Models using Connected Components
– Roberto J. Bayardo, Jr., J. D. Pehoushek
- 2000
|
|
39
|
Resolution versus Search: Two Strategies for SAT
– Irina Rish, Rina Dechter
- 2000
|
|
27
|
Backtracking algorithms for constraint satisfaction problems
– Rina Dechter, Daniel Frost
- 1999
|
|
|
Parallel Heuristic Search in Haskell
– Michelle Cope, Ian Gent, Kevin Hammond
|
|
1
|
Abstraction and the CSP Phase Transition Boundary
– Robert Schrag, Daniel Miranker
- 1995
|
|
11
|
On the Relations between Intelligent Backtracking and Failure-driven Explanation Based Learning in Constraint Satisfaction and Planning
– Subbarao Kambhampati
- 1998
|
|
30
|
Backjump-based Backtracking for Constraint Satisfaction Problems
– Rina Dechter, Daniel Frost
- 2002
|
|
125
|
Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems
– Carla P. Gomes, Bart Selman, Henry Kautz
- 2000
|
|
44
|
Intelligent Backtracking On Constraint Satisfaction Problems: Experimental And Theoretical Results
– Andrew B. Baker
- 1995
|
|
6
|
Restart-repair and Learning: An empirical study of single solution 3-SAT problems
– Thomas Richards, Barry Richards
- 1997
|
|
56
|
Backjumping for Quantified Boolean Logic Satisfiability
– Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
- 2001
|
|
323
|
GSAT and Dynamic Backtracking
– Matthew L. Ginsberg, David A. McAllester
- 1994
|
|
9
|
Non-systematic Search and Learning: An empirical study
– E. Thomas Richards, Barry Richards
- 1998
|
|
14
|
Extending forward checking
– Fahiem Bacchus
- 2000
|
|
4
|
Maintenance Scheduling Problems as Benchmarks for Constraint Algorithms
– Daniel Frost, Rina Dechter
|
|
14
|
The search for Satisfaction
– Ian P. Gent, Toby Walsh
- 1999
|
|
39
|
Solving Problems with Hard and Soft Constraints Using a Stochastic Algorithm for MAX-SAT
– Yuejun Jiang, Henry Kautz, Bart Selman
- 1995
|
|
19
|
Exploiting Variable Dependency in Local Search
– Henry Kautz, David Mcallester, Bart Selman
- 1997
|
