Solving satisfiability problems on FPGAs using experimental unit propagation heuristic

Takayuki Suyama, Makoto Yokoo, Akira Nagoya

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

3 引用 (Scopus)

抜粋

This paper presents new results on an 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. We develop 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 required hardware resources for the algorithm are less than those of MOM’s heuristics.

元の言語英語
ホスト出版物のタイトルParallel and Distributed Processing - 11 th IPPS/SPDP 1999 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, Proceedings
編集者José Rolim
出版者Springer Verlag
ページ709-711
ページ数3
ISBN(印刷物)3540658319, 9783540658313
DOI
出版物ステータス出版済み - 1 1 1999
外部発表Yes
イベント13th International Parallel Processing Symposium, IPPS 1999 Held in Conjunction with the 10th Symposium on Parallel and Distributed Processing, SPDP 1999 - San Juan, 米国
継続期間: 4 12 19994 16 1999

出版物シリーズ

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

その他

その他13th International Parallel Processing Symposium, IPPS 1999 Held in Conjunction with the 10th Symposium on Parallel and Distributed Processing, SPDP 1999
米国
San Juan
期間4/12/994/16/99

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

フィンガープリント Solving satisfiability problems on FPGAs using experimental unit propagation heuristic' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用

    Suyama, T., Yokoo, M., & Nagoya, A. (1999). Solving satisfiability problems on FPGAs using experimental unit propagation heuristic. : J. Rolim (版), Parallel and Distributed Processing - 11 th IPPS/SPDP 1999 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, Proceedings (pp. 709-711). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 1586). Springer Verlag. https://doi.org/10.1007/BFb0097959