@article{learningaugmentedalgorithmsforboolean,
  title = {Learning-Augmented Algorithms for Boolean Satisfiability},
  author = {Idan Attias and Xing Gao and Lev Reyzin},
  year = {2025},
  eprint = {2505.06146},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2505.06146v2},
}