Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
GRASP (SAT solver)
open-in-new
<p>GRASP is a well known <a href="/facts/Boolean_satisfiability_problem/wBVRjWoy">SAT</a> instance solver. It was developed by <a href="/facts/Jo%25C3%25A3o_Marques_Silva/5R4etm8o">João Marques Silva</a>, a <a href="/facts/Portugal/lYzwDQ63">Portuguese</a> computer science researcher. It stands for <i>Generic seaRch Algorithm for the Satisfiability Problem</i>. </p>