arxivGitHubあり2026-07-23
Identifying Good Rules for Efficient SAT Encodings of Single-Constant Multiplication Using Machine Learning
机械学習モデルを用いて、指定された数値定数に掛け算する方法を効率的に探索します。在来の dinamic programming法は効率が高いが、定数の大きさに対応できません。この研究では、神経符号学的アプローチにより、定
品質予測/異常検知深層学習グラフニューラルネット
- 用途
- 数値定数乗算最適化問題解決
- 難易度
- Easy
- コスト
- Medium
→