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.[1]
External linksedit
GRASP home page
Referencesedit
^J.P. Marques-Silva; Karem A. Sakallah (November 1996). "GRASP-A New Search Algorithm for Satisfiability". Digest of IEEE International Conference on Computer-Aided Design (ICCAD). pp. 220–227. CiteSeerX10.1.1.49.2075. doi:10.1109/ICCAD.1996.569607. ISBN978-0-8186-7597-3.
December 01, 2023
grasp, solver, this, article, relies, excessively, references, primary, sources, please, improve, this, article, adding, secondary, tertiary, sources, find, sources, grasp, solver, news, newspapers, books, scholar, jstor, august, 2012, learn, when, remove, thi. This article relies excessively on references to primary sources Please improve this article by adding secondary or tertiary sources Find sources GRASP SAT solver news newspapers books scholar JSTOR August 2012 Learn how and when to remove this template message GRASP is a well known SAT instance solver It was developed by Joao Marques Silva a Portuguese computer science researcher It stands for Generic seaRch Algorithm for the Satisfiability Problem 1 External links editGRASP home pageReferences edit J P Marques Silva Karem A Sakallah November 1996 GRASP A New Search Algorithm for Satisfiability Digest of IEEE International Conference on Computer Aided Design ICCAD pp 220 227 CiteSeerX 10 1 1 49 2075 doi 10 1109 ICCAD 1996 569607 ISBN 978 0 8186 7597 3 Retrieved from https en wikipedia org w index php title GRASP SAT solver amp oldid 1003483658, wikipedia, wiki, book, books, library,