|
11
|
Satisfiability Solvers
– Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman
- 2008
|
|
44
|
Intelligent Backtracking On Constraint Satisfaction Problems: Experimental And Theoretical Results
– Andrew B. Baker
- 1995
|
|
14
|
Ten challenges redux: Recent progress in propositional reasoning and search
– Henry Kautz, Bart Selman
- 2003
|
|
107
|
Algorithms for the Satisfiability (SAT) Problem: A Survey
– Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah
- 1996
|
|
1
|
Compute-intensive methods in artificial intelligence
– Bart Selman
- 1997
|
|
44
|
Nonsystematic Backtracking Search
– William D. Harvey, Matthew L. Ginsberg
- 1995
|
|
1
|
Incomplete Algorithms
– Henry Kautz, Ashish Sabharwal, Bart Selman
- 2008
|
|
7
|
Improving Backtrack Search for SAT by Means of Redundancy
– Laure Brisoux, Éric Grégoire, Lakhdar Saïs
- 1999
|
|
14
|
The search for Satisfaction
– Ian P. Gent, Toby Walsh
- 1999
|
|
18
|
Statistical mechanics of combinatorial search
– Tad Hogg
- 1994
|
|
15
|
Global Search Methods For Solving Nonlinear Optimization Problems
– Yi Shang
- 1997
|
|
|
Why Solutions Can Be Hard to Find -- A Featural Theory . . .
– Josh Singer
- 2001
|
|
5
|
A Method of Program Understanding using Constraint Satisfaction for Software Reverse Engineering
– Steven Woods
- 1996
|
|
19
|
Approximate Algorithms and Heuristics for MAX-SAT
– Roberto Battiti , Marco Protasi
- 1998
|
|
48
|
A sharp threshold in proof complexity
– Dimitris Achlioptas, Paul Beame, Michael Molloy
- 2001
|
|
7
|
A Sharp Threshold in Proof Complexity Yields Lower Bounds for Satisfiability Search
– Dimitris Achlioptas, Paul Beame, Michael Molloy
|
|
14
|
Procedural Reasoning in Constraint Satisfaction
– Ari K. Jónsson, Matthew L. Ginsberg
- 1996
|
|
141
|
Improvements To Propositional Satisfiability Search Algorithms
– Jon William Freeman
- 1995
|
|
15
|
Trace-Based Methods for Solving Nonlinear Global Optimization and Satisfiability Problems
– Benjamin W. Wah, Yao-jen Chang
- 1996
|
