TY  - RPRT
TI  - Chain, Generalization of Covering Code, and Deterministic Algorithm for k-SAT
AU  - S. Cliff Liu
PY  - 2020
UR  - https://arxiv.org/abs/1804.07901
ID  - 1804.07901
ER  -