Solving satisfiability problems on FPGAs using experimental unit propagation

Takayuki Suyama, Makoto Yokoo, Akira Nagoya

研究成果: 書籍/レポート タイプへの寄稿会議への寄与

3 被引用数 (Scopus)

抄録

This paper presents new results on an innovative approach for solving satisfiability problems (SAT), that is, creating a logic circuit that is specialized to solve each problem instance on Field Programmable Gate Arrays (FPGAs). This approach has become feasible due to recent advances in Reconfigurable Computing, and has opened up an exciting new research field in algorithm design. We have developed an algorithm that is suitable for a logic circuit implementation. This algorithm is basically equivalent to the Davis-Putnam procedure with Experimental Unit Propagation. The algorithm requires fewer hardware resources than previous approaches. Simulation results show that this method can solve a hard random 3-SAT problem with 400 variables within 1.6 minutes at a clock rate of 10MHz. Faster speeds can be obtained by increasing the clock rate. Furthermore, we have actually implemented a 128-variable, 256-clause problem instance on FPGAs.

本文言語英語
ホスト出版物のタイトルPrinciples and Practice of Constraint Programming – CP 1999 - 5th International Conference, CP 1999, Proceedings
編集者Joxan Jaffar
出版社Springer Verlag
ページ434-445
ページ数12
ISBN(印刷版)3540666265, 9783540666264
DOI
出版ステータス出版済み - 1999
外部発表はい
イベント5th International Conference on Principles and Practice of Constraint Programming, CP 1999 - Alexandria, 米国
継続期間: 10月 11 199910月 14 1999

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1713
ISSN(印刷版)0302-9743
ISSN(電子版)1611-3349

その他

その他5th International Conference on Principles and Practice of Constraint Programming, CP 1999
国/地域米国
CityAlexandria
Period10/11/9910/14/99

!!!All Science Journal Classification (ASJC) codes

  • 理論的コンピュータサイエンス
  • コンピュータ サイエンス(全般)

フィンガープリント

「Solving satisfiability problems on FPGAs using experimental unit propagation」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル