@misc{indiciaeee5408ac71fd,
  title = {Algorithms for the Diverse-k-SAT problem: the geometry of satisfying assignments},
  author = {Per Austrin and Ioana O. Bercea and Mayank Goswami and Nutan Limaye and Adarsh Srinivasan},
  year = {2025},
  url = {https://arxiv.org/abs/2408.03465},
  note = {Source identifier: 2408.03465}
}