Bergin, R. H.; Dalla, M.; Visentin, A.; O’Sullivan, B.; Provan, G. Using Machine Learning Classifiers in SAT Branching [Extended Abstract]. SOCS 2023, 16, 169-170.