A Grasp For Satisfiability (1996)

Cached

Download Links

by Mauricio G.C. Resende , Thomas A. Feo
Venue:CLIQUES, COLORING, AND SATISFIABILITY: THE SECOND DIMACS IMPLEMENTATION CHALLENGE, VOLUME 26 OF DIMACS SERIES ON DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE
Citations:31 - 6 self

Documents Related by Co-Citation

683 A New Method for Solving Hard Satisfiability Problems – Bart Selman, Hector Levesque, David Mitchell - 1992
104 Efficient local search for very large-scale satisfiability problem – J Gu - 1992
99 An Empirical Study of Greedy Local Search for Satisfiability Testing – Bart Selman, Henry A. Kautz - 1993
10988 Computers and Intractability: A Guide to the Theory of NP-completeness – M Garey, D Johnson - 1979
478 A greedy randomized adaptive search procedure for the 2-partition problem – Thomas A. Feo, M. Pardalos - 1994
33 Approximate Solution Of Weighted MAX-SAT Problems Using GRASP – M. G. C. Resende, L. S. Pitsoulis, P. M. Pardalos - 1997
145 A probabilistic heuristic for a computationally difficult set covering problem – T A Feo, M G C Resende - 1989
1084 A computing procedure for quantification theory – Martin Davis, Hilary Putnam - 1960
105 Algorithms for the Maximum Satisfiability Problem – P Hansen, B Jaumard - 1990
216 Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems – Bart Selman, Henry Kautz - 1993
137 Towards an understanding of hill-climbing procedures for SAT – Ian P. Gent, Toby Walsh Y - 1993
775 The complexity of theorem-proving procedures – Stephen A. Cook - 1971
945 A machine-oriented logic based on the resolution principle – J A Robinson - 1965
360 Noise strategies for improving local search – Bart Selman, Henry A. Kautz, Bram Cohen - 1994
197 The Breakout Method for Escaping From Local Minima – P Morris - 1993
270 Local Search Strategies for Satisfiability Testing – Bart Selman, Henry Kautz, Bram Cohen - 1995
3505 Optimization by simulated annealing – S. Kirkpatrick, C. D. Gelatt, M. P. Vecchi - 1983
23 A Parallel GRASP Implementation for the Quadratic Assignment Problem – P.M. Pardalos, L. S. Pitsoulis, M. G. C. Resende - 1995
44 Simulated Annealing for Hard Satisfiability Problems – William M. Spears - 1993