GRASP is a well known

SAT The SAT ( ) is a standardized test widely used for college admissions in the United States. Since its debut in 1926, its name and scoring have changed several times; originally called the Scholastic Aptitude Test, it was later called the Schol ...

instance solver. It was developed by

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 th ...

, a

Portuguese Portuguese may refer to: * anything of, from, or related to the country and nation of Portugal ** Portuguese cuisine, traditional foods ** Portuguese language, a Romance language *** Portuguese dialects, variants of the Portuguese language ** Portu ...

computer science researcher. It stands for ''Generic seaRch Algorithm for the Satisfiability Problem''.

External links

GRASP home page

References

{{Reflist SAT solvers