TY  - RPRT
TI  - Open Weak CAD and its Applications
AU  - Jingjun Han
AU  - Liyun Dai
AU  - Hoon Hong
AU  - Bican Xia
PY  - 2019
DO  - 10.1016/j.jsc.2016.07.032
UR  - https://arxiv.org/abs/1507.03834
ID  - 1507.03834
ER  -