Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems (1993)

Cached

Download Links

by Bart Selman , Henry Kautz
Venue:PROC. IJCAI-93
Citations:220 - 11 self

Active Bibliography

270 Local Search Strategies for Satisfiability Testing – Bart Selman, Henry Kautz, Bram Cohen - 1995
124 Algorithms for the Satisfiability (SAT) Problem: A Survey – Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah - 1996
679 A New Method for Solving Hard Satisfiability Problems – Bart Selman, Hector Levesque, David Mitchell - 1992
22 Satisfiability Solvers – Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman - 2008
62 Local search algorithms for SAT: An empirical evaluation – Holger H. Hoos, Thomas St├╝tzle - 2000
59 A Discrete Lagrangian-Based Global-Search Method for Solving Satisfiability Problems – Benjamin W. Wah, Yi Shang - 1998
160 Improvements To Propositional Satisfiability Search Algorithms – Jon William Freeman - 1995
5 Incomplete Algorithms – Henry Kautz, Ashish Sabharwal, Bart Selman - 2008
20 Approximate Algorithms and Heuristics for MAX-SAT – Roberto Battiti , Marco Protasi - 1998
113 Finding Hard Instances of the Satisfiability Problem: A Survey – Stephen A. Cook, David G. Mitchell - 1997
42 Solving Problems with Hard and Soft Constraints Using a Stochastic Algorithm for MAX-SAT – Yuejun Jiang, Henry Kautz, Bart Selman - 1995
46 A General Stochastic Approach to Solving Problems with Hard and Soft Constraints – Henry Kautz, Bart Selman, Yueyen Jiang - 1996
2 Parallelizing Local Search for CNF Satisfiability Using Vectorization and PVM – Kazuo Iwama, Daisuke Kawai, Shuichi Miyazaki, Yasuo Okabe, Jun Umemoto
15 Trace-Based Methods for Solving Nonlinear Global Optimization and Satisfiability Problems – Benjamin W. Wah, Yao-jen Chang - 1996
15 Global Search Methods For Solving Nonlinear Optimization Problems – Yi Shang - 1997
10 Domain-Independent Local Search For Linear Integer Optimization – Joachim Paul Walser - 1998
29 Reactive Search, a history-based heuristic for MAX-SAT – Roberto Battiti, Marco Protasi - 1996
136 Towards an understanding of hill-climbing procedures for SAT – Ian P. Gent, Toby Walsh Y - 1993
12 Accelerating random walks – Wei Wei, Bart Selman - 2002