A Cube Distribution Approach to QBF Solving and Certificate Minimization.

Chen, Li-ChengLi-ChengChenJIE-HONG JIANG2020-06-112020-06-112019https://scholars.lib.ntu.edu.tw/handle/123456789/497776A Cube Distribution Approach to QBF Solving and Certificate Minimization.conference paper10.1007/978-3-030-30048-7_31https://doi.org/10.1007/978-3-030-30048-7_31