Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
GRASP (SAT solver)
open-in-new
<h2 id="external-links">External links</h2> <ul><li><a href="http://vlsicad.eecs.umich.edu/BK/Slots/cache/sat.inesc.pt/~jpms/grasp/">GRASP home page</a></li></ul> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>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. <a href="978-0-8186-7597-3" target="_blank">978-0-8186-7597-3</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> </ol>