@misc{indiciaefb05e5ac5385,
  title = {SAT Requires Exhaustive Search},
  author = {Ke Xu and Guangyan Zhou},
  year = {2024},
  doi = {10.1007/s11704-025-50231-4},
  url = {https://arxiv.org/abs/2302.09512},
  note = {Source identifier: 2302.09512}
}