Bergin, Ruth Helen, Marco Dalla, Andrea Visentin, Barry O’Sullivan, and Gregory Provan. 2023. “Using Machine Learning Classifiers in SAT Branching [Extended Abstract]”. Proceedings of the International Symposium on Combinatorial Search 16 (1):169-70. https://doi.org/10.1609/socs.v16i1.27298.