Mauricio G. C. Resende, Thomas A. Feo. A GRASP for satisfiability. In David S. Johnson, Michael A. Trick, editors, Cliques, Coloring, and Satisfiability, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, October 11-13, 1993. Volume 26 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 499-520, DIMACS/AMS, 1993.
@inproceedings{ResendeF93,
title = {A GRASP for satisfiability},
author = {Mauricio G. C. Resende and Thomas A. Feo},
year = {1993},
researchr = {https://researchr.org/publication/ResendeF93},
cites = {0},
citedby = {0},
pages = {499-520},
booktitle = {Cliques, Coloring, and Satisfiability, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, October 11-13, 1993},
editor = {David S. Johnson and Michael A. Trick},
volume = {26},
series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science},
publisher = {DIMACS/AMS},
}