Scarica Linnk AI
•
Assistente di Ricerca
>
Accedi
approfondimento
-
SAT問題解決
SAT問題解決のための前処理における電子設計自動化の活用
本研究では、SAT問題を回路形式に変換し、強化学習ベースのロジック合成手法と新しいコスト最適化LUTマッピング手法を用いて、SAT問題の解決時間を大幅に削減する前処理フレームワークを提案する。
1