A Grasp For Satisfiability (1996)
by
Mauricio G.C. Resende
,
Thomas
,
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: | 29 - 6 self |

