Bergin, Ruth Helen, et al. “Using Machine Learning Classifiers in SAT Branching [Extended Abstract]”. Proceedings of the International Symposium on Combinatorial Search, vol. 16, no. 1, July 2023, pp. 169-70, doi:10.1609/socs.v16i1.27298.