TY  - RPRT
TI  - Complexity of the CNF-satisfiability problem
AU  - Grigoriy V. Bokov
PY  - 2018
UR  - https://arxiv.org/abs/1804.02478
ID  - 1804.02478
ER  -