@misc{indiciae7f3a93129ba3,
  title = {An Improved Algorithm for Sparse Instances of SAT},
  author = {Sanjay Jain and Tzeh Yuan Neoh and Frank Stephan},
  year = {2024},
  url = {https://arxiv.org/abs/2411.07389},
  note = {Source identifier: 2411.07389}
}