, pages 000-000. INFORMS, 0000.  M.G.C. Resende and T.A. Feo. A GRASP for satisfiability. In D.S. Johnson and M.A. Trick, editors, Cliques, coloring, and satisfiability: The second DIMACS implementation challenge , volume 00 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science , pages 000-000. American Mathematical Society, Providence, 0000.  M.G.C. Resende and J.L. González-Velarde. GRASP: Procedimientos de búsqueda miope aleatorizado y adaptativo. Inteligencia Artificial