TY  - RPRT
TI  - On the $K$-sat model with large number of clauses
AU  - Dmitry Panchenko
PY  - 2017
UR  - https://arxiv.org/abs/1608.06256
ID  - 1608.06256
ER  -