Attias, I., Gao, X., & Reyzin, L. (2025). Learning-Augmented Algorithms for Boolean Satisfiability.
Chicago-Zitierstil (17. Ausg.)Attias, Idan, Xing Gao, und Lev Reyzin. Learning-Augmented Algorithms for Boolean Satisfiability. 2025.
MLA-Zitierstil (9. Ausg.)Attias, Idan, et al. Learning-Augmented Algorithms for Boolean Satisfiability. 2025.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.