@misc{indiciaee1dc446c6490,
  title = {Small unsatisfiable \$k\$-CNFs with bounded literal occurrence},
  author = {Tianwei Zhang and Tomáš Peitl and Stefan Szeider},
  year = {2024},
  url = {https://arxiv.org/abs/2405.16149},
  note = {Source identifier: 2405.16149}
}