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:30 - 6 self

Documents Related by Co-Citation

679 A New Method for Solving Hard Satisfiability Problems – Bart Selman, Hector Levesque, David Mitchell - 1992
103 Efficient local search for very large-scale satisfiability problems – J Gu - 1992
99 An Empirical Study of Greedy Local Search for Satisfiability Testing – Bart Selman, Henry A. Kautz - 1993
10870 Computers and Intractability: A Guide to the Theory of NP-Completeness – M R Garey, D S Johnson - 1979
476 A greedy randomized adaptive search procedure for the 2-partition problem – Thomas A. Feo, M. Pardalos - 1994
32 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
1073 A computing procedure for quantification theory – M Davis, H Putnam - 1960
105 Algorithms for the Maximum Satisfiability Problem – P Hansen, B Jaumard - 1990
215 Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems – Bart Selman, Henry Kautz - 1993
136 Towards an understanding of hill-climbing procedures for SAT – Ian P. Gent, Toby Walsh Y - 1993
772 The complexity of theorem-proving procedures – Stephen A. Cook - 1971
939 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
194 The breakout method for escaping from local minima – P Morris - 1993
269 Local Search Strategies for Satisfiability Testing – Bart Selman, Henry Kautz, Bram Cohen - 1995
3489 Optimization by simulated annealing – S. Kirkpatrick, C. D. Gelatt, M. P. Vecchi - 1983
22 A Parallel GRASP Implementation for the Quadratic Assignment Problem – P.M. Pardalos, L. S. Pitsoulis, M. G. C. Resende - 1995
51 Resolution vs. cutting plane solution of inference problems: Some computational experience – J Hooker - 1988