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