GRASP - A New Search Algorithm for Satisfiability (1996)

by Joso L Marques Silva
Citations:357 - 28 self

Document Versions

GRASP - A New Search Algorithm for Satisfiability –Joso L Marques Silva — 1996
GRASP - A New Search Algorithm for Satisfiability –Joao P. Marques-Silva, Karem A. Sakallah — 1996
GRASP - A New Search Algorithm for Satisfiability –Joao P. Marques-Silva, Joo P. Marques Silva, Karem A. Sakallah, Karem A. Sakallah — 1996 — in Proceedings of the International Conference on Computer-Aided Design