TY  - RPRT
TI  - Learning-Augmented Algorithms for Boolean Satisfiability
AU  - Idan Attias
AU  - Xing Gao
AU  - Lev Reyzin
PY  - 2025
UR  - https://arxiv.org/abs/2505.06146
ID  - 2505.06146
ER  -