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

680 A New Method for Solving Hard Satisfiability Problems – Bart Selman, Hector Levesque, David Mitchell - 1992
136 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
361 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
194 The breakout method for escaping from local minima – P Morris - 1993
103 Efficient local search for very large-scale satisfiability problems – J Gu - 1992
215 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
10922 Computers and Intractability : A Guide to the Theory of NPCompleteness – M R Garey, D S Johnson - 1979
65 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
106 Algorithms for the maximum satisfiability problem – P Hansen, B Jaumard - 1990
31 Discrete Lagrangian-Based Search for Solving MAX-SAT Problems – Benjamin W. Wah, Yi Shang - 1997
397 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