Loading article…
GRASPはよく知られたSATインスタンスソルバーです。ポルトガルのコンピュータサイエンス研究者João Marques Silvaによって開発されました。これは、Generic search Algorithm for the Satisfiability Problem（充足可能性問題のための汎用探索アルゴリズム）の略です。[1]
外部リンク
- GRASPホームページ
参考文献
- ^ JP Marques-Silva、Karem A. Sakallah ( 1996 年 11 月)。「GRASP - 満足可能性のための新しい検索アルゴリズム」。IEEE国際コンピュータ支援設計会議 (ICCAD) のダイジェスト。pp . 220–227。CiteSeerX 10.1.1.49.2075。doi : 10.1109 / ICCAD.1996.569607。ISBN 978-0-8186-7597-3。