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

Documents Related by Co-Citation

683 A New Method for Solving Hard Satisfiability Problems – Bart Selman, Hector Levesque, David Mitchell - 1992
137 Towards an understanding of hill-climbing procedures for SAT – Ian P. Gent, Toby Walsh Y - 1993
99 An Empirical Study of Greedy Local Search for Satisfiability Testing – Bart Selman, Henry A. Kautz - 1993
360 Noise strategies for improving local search – Bart Selman, Henry A. Kautz, Bram Cohen - 1994
183 Evidence for Invariants in Local Search – David McAllester, Bart Selman, Henry Kautz - 1997
197 The Breakout Method for Escaping From Local Minima – P Morris - 1993
104 Efficient local search for very large-scale satisfiability problem – J Gu - 1992
216 Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems – Bart Selman, Henry Kautz - 1993
51 Evaluating Las Vegas algorithms -- pitfalls and remedies – Holger H. Hoos, Thomas St├╝tzle - 1998
10988 Computers and Intractability: A Guide to the Theory of NP-completeness – M Garey, D Johnson - 1979
66 When Gravity Fails: Local Search Topology – Jeremy D. Frank, Peter Cheeseman, John Stutz - 1997
51 Resolution vs. cutting plane solution of inference problems: Some computational experience – J Hooker - 1988
283 and easy distributions of sat problems – Hard - 1992
105 Algorithms for the Maximum Satisfiability Problem – P Hansen, B Jaumard - 1990
30 Discrete Lagrangian-Based Search for Solving MAX-SAT Problems – Benjamin W. Wah, Yi Shang - 1997
398 Minimizing Conflicts: A Heuristic Repair Method for Constraint-Satisfaction and Scheduling Problems – Steven Minton, Andy Philips, Mark D. Johnston, Philip Laird - 1993
94 Genet: A connectionist architecture for solving constraint satisfaction problems by iterative improvement – Andrew Davenport, Edward Tsang, Chang J. Wang, Kangmin Zhu - 1994
46 Branch-and-cut solution of inference problems in propositional logic – J N Hooker, C Fedjki - 1990
80 A two-phase exact algorithm for MAX-SAT and weighted MAX-SAT problems – Brian Borchers, Judith Furman - 1997