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

Cached

Download Links

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

Documents Related by Co-Citation

683 A New Method for Solving Hard Satisfiability Problems – Bart Selman, Hector Levesque, David Mitchell - 1992
1084 A computing procedure for quantification theory – Martin Davis, Hilary Putnam - 1960
197 The Breakout Method for Escaping From Local Minima – P Morris - 1993
360 Noise strategies for improving local search – Bart Selman, Henry A. Kautz, Bram Cohen - 1994
398 Minimizing Conflicts: A Heuristic Repair Method for Constraint-Satisfaction and Scheduling Problems – Steven Minton, Andy Philips, Mark D. Johnston, Philip Laird - 1993
3505 Optimization by simulated annealing – S. Kirkpatrick, C. D. Gelatt, M. P. Vecchi - 1983
742 A machine program for theorem proving – Martin Davis, George Logemann, Donald Loveland - 1962
521 Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search – Henry Kautz, Bart Selman - 1996
148 P.: Solving large-scale constraint satisfaction and scheduling problems using a heuristic repair method – S Minton, M Johnston, A Philips, Laird - 1990
104 Efficient local search for very large-scale satisfiability problem – J Gu - 1992
283 and easy distributions of sat problems – Hard - 1992
591 Tabu Search – Fred Glover - 1989
270 Local Search Strategies for Satisfiability Testing – Bart Selman, Henry Kautz, Bram Cohen - 1995
945 A machine-oriented logic based on the resolution principle – J A Robinson - 1965
431 Planning as satisfiability – Henry Kautz, Bart Selman - 1992
516 Optimization by simulated annealing: An experimental evaluation, Part – D S JOHNSON, C R ARAGON, L A MCGEOCH, C SCHEVON - 1991
45 A new method to solve hard satis problems – Bart Selman, Hector Levesque, David Mitchell - 1992
204 Using CSP look-back techniques to solve real-world SAT instances – Roberto J. Bayardo - 1997
811 Adaptive Constraint Satisfaction – J. E. Borrett, E. P. K. Tsang, N. R. Walsh - 1996