GRASP (SAT solver)

From Wikipedia, the free encyclopedia

Jump to navigation Jump to search

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

[edit | edit source]

GRASP home page

References

[edit | edit source]

^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).

Retrieved from "http://70.231.62.181/index.php?title=GRASP_(SAT_solver)&oldid=6403458"

SAT solvers

Hidden categories: