TY  - RPRT
TI  - CoAPI: An Efficient Two-Phase Algorithm Using Core-Guided Over-Approximate Cover for Prime Compilation of Non-Clausal Formulae
AU  - Weilin Luo
AU  - Hai Wan
AU  - Hongzhen Zhong
AU  - Ou Wei
PY  - 2019
UR  - https://arxiv.org/abs/1906.03085
ID  - 1906.03085
ER  -