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, 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 ** Port ...

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

External links

GRASP home page

References

{{Reflist SAT solvers