|
107
|
Algorithms for the Satisfiability (SAT) Problem: A Survey
– Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah
- 1996
|
|
207
|
Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems
– Bart Selman, Henry Kautz
- 1993
|
|
11
|
Satisfiability Solvers
– Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman
- 2008
|
|
19
|
Approximate Algorithms and Heuristics for MAX-SAT
– Roberto Battiti , Marco Protasi
- 1998
|
|
1
|
Incomplete Algorithms
– Henry Kautz, Ashish Sabharwal, Bart Selman
- 2008
|
|
54
|
A Discrete Lagrangian-Based Global-Search Method for Solving Satisfiability Problems
– Benjamin W. Wah, Yi Shang
- 1998
|
|
620
|
A New Method for Solving Hard Satisfiability Problems
– Bart Selman, Hector Levesque, David Mitchell
- 1992
|
|
141
|
Improvements To Propositional Satisfiability Search Algorithms
– Jon William Freeman
- 1995
|
|
15
|
Global Search Methods For Solving Nonlinear Optimization Problems
– Yi Shang
- 1997
|
|
87
|
Generating Hard Satisfiability Problems
– Bart Selman, David Mitchell, Hector Levesque
- 1996
|
|
122
|
Towards an understanding of hill-climbing procedures for SAT
– Ian P. Gent, Toby Walsh Y
- 1993
|
|
56
|
Local search algorithms for SAT: An empirical evaluation
– Holger H. Hoos, Thomas Stützle
- 2000
|
|
101
|
Finding Hard Instances of the Satisfiability Problem: A Survey
– Stephen A. Cook, David G. Mitchell
- 1997
|
|
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
|
|
37
|
A General Stochastic Approach to Solving Problems with Hard and Soft Constraints
– Henry Kautz, Bart Selman, Yueyen Jiang
- 1996
|
|
17
|
Global Optimization for Satisfiability (SAT) Problem
– Jun Gu
- 1994
|
|
9
|
Domain-Independent Local Search For Linear Integer Optimization
– Joachim Paul Walser
- 1998
|
|
1
|
Compute-intensive methods in artificial intelligence
– Bart Selman
- 1997
|
