CDCL 기반 신경망 검증 프레임워크 DEEPCDCL

DEEPCDCL은 CDCL 프레임워크를 활용하여 신경망 검증의 효율성을 높이는 새로운 프레임워크이다.