|
620
|
A New Method for Solving Hard Satisfiability Problems
– Bart Selman, Hector Levesque, David Mitchell
- 1992
|
|
122
|
Towards an understanding of hill-climbing procedures for SAT
– Ian P. Gent, Toby Walsh Y
- 1993
|
|
318
|
Noise strategies for improving local search
– Bart Selman, Henry A. Kautz, Bram Cohen
- 1994
|
|
96
|
An Empirical Study of Greedy Local Search for Satisfiability Testing
– Bart Selman, Henry A. Kautz
- 1993
|
|
161
|
Evidence for Invariants in Local Search
– David Mcallester, Bart Selman, Henry Kautz
- 1997
|
|
178
|
The breakout method for escaping from local minima
– P Morris
- 1992
|
|
266
|
and Easy Distributions for SAT Problems
– Hard
- 1992
|
|
90
|
Algorithms for the maximum satisfiability problem
– P Hansen, B Jaumard
- 1990
|
|
100
|
Efficient local search for very large-scale satisfiability problem
– J Gu
- 1992
|
|
207
|
Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems
– Bart Selman, Henry Kautz
- 1993
|
|
49
|
Evaluating Las Vegas algorithms -- pitfalls and remedies
– Holger H. Hoos, Thomas Stützle
- 1998
|
|
8879
|
Computers and Intractability: A guide to the Theory of NP-Completeness
– M Garey, D Johnson
- 1979
|
|
51
|
Resolution vs. cutting plane solution of inference problems: Some computational experience
– J N Hooker
- 1988
|
|
30
|
Discrete Lagrangian-Based Search for Solving MAX-SAT Problems
– Benjamin W. Wah, Yi Shang
- 1997
|
|
356
|
Minimizing Conflicts: A Heuristic Repair Method for Constraint-Satisfaction and Scheduling Problems
– Steven Minton, Andy Philips, Mark D. Johnston, Philip Laird
- 1993
|
|
91
|
Genet: A connectionist architecture for solving constraint satisfaction problems by iterative improvement
– Andrew Davenport, Edward Tsang, Chang J. Wang, Kangmin Zhu
- 1994
|
|
44
|
Branch-and-cut solution of inference problems in propositional logic
– J N Hooker, C Fedjki
|
|
66
|
A two-phase exact algorithm for MAX-SAT and weighted MAX-SAT problems
– Brian Borchers, Judith Furman
- 1997
|
|
31
|
Approximate Solution Of Weighted Max-Sat Problems Using Grasp
– Resende Pitsoulis, M. G. C. Resende
- 1996
|
