GRASP (SAT solver)
From Wikipedia, the free encyclopedia
|This article relies too much on references to primary sources. (August 2012)|
- Marques-Silva, J. P. and Sakallah, K. A. (1996) GRASP: A New Search Algorithm for Satisfiability. In Proceedings of International Conference on Computer-Aided Design, pp. 220-227, Santa Clara, California, U.S.A.