TY  - RPRT
TI  - On the Efficiency of Solving Boolean Polynomial Systems with the Characteristic Set Method
AU  - Zhenyu Huang
AU  - Yao Sun
AU  - Dongdai Lin
PY  - 2019
DO  - 10.1016/j.jsc.2019.11.001
UR  - https://arxiv.org/abs/1405.4596
ID  - 1405.4596
ER  -