R. H. Bergin, M. Dalla, A. Visentin, B. O’Sullivan, and G. Provan, “Using Machine Learning Classifiers in SAT Branching [Extended Abstract]”, SOCS, vol. 16, no. 1, pp. 169–170, Jul. 2023.