@misc{indiciae3d31fc898fc7,
  title = {Proof of the satisfiability conjecture for large k},
  author = {Jian Ding and Allan Sly and Nike Sun},
  year = {2021},
  url = {https://arxiv.org/abs/1411.0650},
  note = {Source identifier: 1411.0650}
}