Bergin, R.H. et al. 2023. Using Machine Learning Classifiers in SAT Branching [Extended Abstract]. Proceedings of the International Symposium on Combinatorial Search. 16, 1 (Jul. 2023), 169–170. DOI:https://doi.org/10.1609/socs.v16i1.27298.