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

Active Bibliography

1 GRASP: BASIC COMPONENTS AND ENHANCEMENTS – Paola Festa, Mauricio, G. C. Resende
15 Global Search Methods For Solving Nonlinear Optimization Problems – Yi Shang - 1997
2 A Bibliography of GRASP – M. G. C. Resende
476 A greedy randomized adaptive search procedure for the 2-partition problem – Thomas A. Feo, M. Pardalos - 1994
59 A Discrete Lagrangian-Based Global-Search Method for Solving Satisfiability Problems – Benjamin W. Wah, Yi Shang - 1998
20 Global Optimization for Satisfiability (SAT) Problem – Jun Gu - 1994
27 Greedy Randomized Adaptive Search Procedures – Leonidas S. Pitsoulis, Mauricio, Mauricio G. C. Resende - 2001
1 EFFECTIVE APPLICATION OF GRASP – Paola Festa, Mauricio G. C. Resende - 2009
89 The Quadratic Assignment Problem: A Survey and Recent Developments – Panos M. Pardalos, Franz Rendl, Henry Wolkowicz - 1994
125 Algorithms for the Satisfiability (SAT) Problem: A Survey – Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah - 1996
2 Convergence Properties of Optimization Algorithms for the Satisfiability (SAT) Problem – Jun Gu, Qian-ping Gu, Ding Zhu Du - 1996
21 A greedy randomized adaptive search procedure for job shop scheduling – S. Binato, W. J. Hery, D. M. Loewenstern, M. G. C. Resende - 2001
12 Partial Instantiation Methods for Inference in First Order Logic – J.N. Hooker, G. Rago, V. Chandru, A. Shrivastava - 2000
4 The Theory And Applications Of Discrete Constrained Optimization Using Lagrange Multipliers – Zhe Wu - 2000
20 Approximate Algorithms and Heuristics for MAX-SAT – Roberto Battiti , Marco Protasi - 1998
5 Solving MAX-SAT and Weighted MAX-SAT Problems Using Branch-and-Cut – Steve Joy , John E. Mitchell , Brian Borchers - 1998
80 A two-phase exact algorithm for MAX-SAT and weighted MAX-SAT problems – Brian Borchers, Judith Furman - 1997
160 Improvements To Propositional Satisfiability Search Algorithms – Jon William Freeman - 1995
218 Hard and Easy Distributions of SAT Problems – David Mitchell, Bart Selman, Hector Levesque - 1992