GRASP es un conocido solucionador de instancias SAT . Fue desarrollado por João Marques Silva , un investigador portugués en ciencias de la computación. Es sinónimo de Genérico algoritmo de búsqueda para el problema satisfacibilidad . [1]
enlaces externos
Referencias
- ^ JP Marques-Silva; Karem A. Sakallah (noviembre de 1996). "GRASP-A New Search Algorithm for Satisfiability". Digest of IEEE International Conference on Computer-Aided Design (ICCAD) . págs. 220-227. CiteSeerX 10.1.1.49.2075 . doi : 10.1109 / ICCAD.1996.569607 . ISBN 978-0-8186-7597-3.