FPGA上に実装されたPCMGTPを用いたSAT問題の解決

スポンサーリンク

概要

• 論文の詳細を見る
• 2005-01-25

著者

• 松田 純一

  九州大学大学院システム情報科学府知能システム学専攻

• 木之下 昇平

  九州大学大学院システム情報科学府

• 木之下 昇平

  九大 大学院システム情報科学研究院

関連論文

• FPGA上のSATソルバPCMGTPへの前処理の導入
• FPGA上に実装されたPCMGTPを用いたSAT問題の解決(応用1, FRGAとその応用及び一般)
• FPGA上に実装されたPCMGTPを用いたSAT問題の解決(応用1, FRGAとその応用及び一般)
• FPGA上に実装されたPCMGTPを用いたSAT問題の解決(応用1, FRGAとその応用及び一般)
• FPGA上に実装されたPCMGTPを用いたSAT問題の解決
• FPGA上に実装されたPCMGTPを用いたSAT問題の解決

スポンサーリンク