TY  - RPRT
TI  - Proof of the satisfiability conjecture for large k
AU  - Jian Ding
AU  - Allan Sly
AU  - Nike Sun
PY  - 2021
UR  - https://arxiv.org/abs/1411.0650
ID  - 1411.0650
ER  -