GRASP (SAT solver)

This article relies excessively on references to primary sources. Please improve this article by adding secondary or tertiary sources.
Find sources: "GRASP" SAT solver – news · newspapers · books · scholar · JSTOR (August 2012) (Learn how and when to remove this message)

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.^[1]

External links

GRASP home page

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.