A Cube Distribution Approach to QBF Solving and Certificate Minimization.
Journal
Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings
Pages
529-546
Date Issued
2019
Author(s)
Chen, Li-Cheng
Type
conference paper