GRASP (SAT solver)

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.

References

Retrieved from "https://en.wikipedia.org/w/index.php?title=GRASP_(SAT_solver)&oldid=1003483658"
Uses material from the Wikipedia article GRASP (SAT solver), released under the CC BY-SA 4.0 license.