FPGAを用いた効率的なSAT解決のための論理制約伝播の高速化

FPGAを用いた高速なSAT解決アーキテクチャを提案し、状態の最新のソリューションを上回るパフォーマンスを実現する。