@misc{indiciaeb43078b66c88,
  title = {On the Satisfaction Probabilities of \$k\$-CNF Formulas},
  author = {Till Tantau},
  year = {2024},
  url = {https://arxiv.org/abs/2201.08895},
  note = {Source identifier: 2201.08895}
}