Using Machine Learning Classifiers in SAT Branching [Extended Abstract]. - Ruth Helen Bergin; Marco Dalla; Andrea Visentin; Barry O'Sullivan; Gregory M. Provan (SOCS, 2023)