GRASP (SAT solver)
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.
Boolean satisfiability problem
In computer science, satisfiability is the problem of determining if the variables of a given Boolean formula can be assigned in such a way as to make the formula evaluate to TRUE...
instance solver. It was developed by João Marques Silva
João Marques Silva
João Paulo Marques Silva is a Portuguese researcher working on SAT. He developed the SAT solver GRASP during his PhD.Marques-Silva was a Senior Lecturer from October 2005 until June 2007 at the school of Electronics and Computer Science of the University of Southampton. In June 2007 he was promoted...
, a Portuguese
Portugal
Portugal , officially the Portuguese Republic is a country situated in southwestern Europe on the Iberian Peninsula. Portugal is the westernmost country of Europe, and is bordered by the Atlantic Ocean to the West and South and by Spain to the North and East. The Atlantic archipelagos of the...
computer science researcher. It stands for Generic seaRch Algorithm for the Satisfiability Problem.