TY  - RPRT
TI  - Clause Vivification by Unit Propagation in CDCL SAT Solvers
AU  - Chu-Min Li
AU  - Fan Xiao
AU  - Mao Luo
AU  - Felip Manyà
AU  - Zhipeng Lü
AU  - Yu Li
PY  - 2018
UR  - https://arxiv.org/abs/1807.11061
ID  - 1807.11061
ER  -