DEEPCDCL: CDCL-based Neural Network Verification Framework

CDCLを活用した新しいニューラルネットワーク検証フレームワークの提案と効率的な速度向上を示す。