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

Document Versions

A Grasp For Satisfiability –Mauricio G.C. Resende, Thomas A. Feo — 1996 — CLIQUES, COLORING, AND SATISFIABILITY: THE SECOND DIMACS IMPLEMENTATION CHALLENGE, VOLUME 26 OF DIMACS SERIES ON DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE