GRASP es un solucionador de instancias SAT muy conocido . Fue desarrollado por João Marques Silva , un investigador informático portugués . Significa algoritmo de búsqueda genérico para el problema de satisfacibilidad . [1]
Enlaces externos
- Página de inicio de GRASP
Referencias
- ^ JP Marques-Silva; Karem A. Sakallah (noviembre de 1996). "GRASP: un nuevo algoritmo de búsqueda para la satisfacibilidad". Compendio de la Conferencia Internacional IEEE sobre Diseño Asistido por Computadora (ICCAD) . pp. 220–227. CiteSeerX 10.1.1.49.2075 . doi :10.1109/ICCAD.1996.569607. ISBN . 978-0-8186-7597-3.