• Source: GRASP (SAT solver)

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.




External links


GRASP home page




References

Kata Kunci Pencarian:

• GRASP (SAT solver)
• SAT solver
• Grasp (disambiguation)
• Conflict-driven clause learning
• Backjumping
• DPLL algorithm
• João Marques Silva
• List of algorithms
• Advaita Vedanta
• Mechanical Turk