Jump to content

GRASP (SAT solver)

Add links
From Wikipedia, the free encyclopedia

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]

[edit]

References

[edit]
  1. ^ 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.
Retrieved from "https://en.wikipedia.org/w/index.php?title=GRASP_(SAT_solver)&oldid=1003483658"