Solving Problems with Hard and Soft Constraints Using a Stochastic Algorithm for MAX-SAT (1995)

by Yuejun Jiang , Henry Kautz , Bart Selman
Citations:42 - 3 self

Active Bibliography

46 A General Stochastic Approach to Solving Problems with Hard and Soft Constraints – Henry Kautz, Bart Selman, Yueyen Jiang - 1996
Chapter 2 Satisfiability Solvers – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman
24 Satisfiability Solvers – Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman - 2008
5 Incomplete Algorithms – Henry Kautz, Ashish Sabharwal, Bart Selman - 2008
10 Domain-Independent Local Search For Linear Integer Optimization – Joachim Paul Walser - 1998
21 Approximate Algorithms and Heuristics for MAX-SAT – Roberto Battiti , Marco Protasi - 1998
14 The search for Satisfaction – Ian P. Gent, Toby Walsh - 1999
47 Intelligent Backtracking On Constraint Satisfaction Problems: Experimental And Theoretical Results – Andrew B. Baker - 1995
216 Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems – Bart Selman, Henry Kautz - 1993
15 Global Search Methods For Solving Nonlinear Optimization Problems – Yi Shang - 1997
60 A Discrete Lagrangian-Based Global-Search Method for Solving Satisfiability Problems – Benjamin W. Wah, Yi Shang - 1998
270 Local Search Strategies for Satisfiability Testing – Bart Selman, Henry Kautz, Bram Cohen - 1995
127 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
137 Towards an understanding of hill-climbing procedures for SAT – Ian P. Gent, Toby Walsh Y - 1993
161 Improvements To Propositional Satisfiability Search Algorithms – Jon William Freeman - 1995
683 A New Method for Solving Hard Satisfiability Problems – Bart Selman, Hector Levesque, David Mitchell - 1992
29 Reactive Search, a history-based heuristic for MAX-SAT – Roberto Battiti, Marco Protasi - 1996
3 Local Search Methods – Holger H. Hoos, Edward Tsang - 2006