SAT問題解決のための前処理における電子設計自動化の活用

本研究では、SAT問題を回路形式に変換し、強化学習ベースのロジック合成手法と新しいコスト最適化LUTマッピング手法を用いて、SAT問題の解決時間を大幅に削減する前処理フレームワークを提案する。