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