@misc{indiciae13eb3a733fbe,
  title = {Learning-Augmented Algorithms for Boolean Satisfiability},
  author = {Idan Attias and Xing Gao and Lev Reyzin},
  year = {2025},
  url = {https://arxiv.org/abs/2505.06146},
  note = {Source identifier: 2505.06146}
}