GRASP is a well known SAT instance solver. It was developed by João Marques Silva, a Portuguese computer science researcher. It stands for Generic seaRch Algorithm for the Satisfiability Problem.
We don't have any images related to GRASP (SAT solver) yet.
You can add one yourself here.
We don't have any YouTube videos related to GRASP (SAT solver) yet.
You can add one yourself here.
We don't have any PDF documents related to GRASP (SAT solver) yet.
You can add one yourself here.
We don't have any Books related to GRASP (SAT solver) yet.
You can add one yourself here.
We don't have any archived web articles related to GRASP (SAT solver) yet.
External links
References
J.P. Marques-Silva; Karem A. Sakallah (November 1996). "GRASP-A New Search Algorithm for Satisfiability". Digest of IEEE International Conference on Computer-Aided Design (ICCAD). pp. 220–227. CiteSeerX 10.1.1.49.2075. doi:10.1109/ICCAD.1996.569607. ISBN 978-0-8186-7597-3. 978-0-8186-7597-3 ↩