 | This articlerelies excessively onreferences toprimary sources. Please improve this article by addingsecondary 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 knownSAT instance solver. It was developed byJoão Marques Silva, aPortuguese computer science researcher. It stands forGeneric seaRch Algorithm for the Satisfiability Problem.[1]