Ruth Helen Bergin, Marco Dalla, Andrea Visentin, Barry O'Sullivan, Gregory M. Provan. Using Machine Learning Classifiers in SAT Branching [Extended Abstract]. In Roman Barták, Wheeler Ruml, Oren Salzman, editors, Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic. pages 169-170, AAAI Press, 2023. [doi]
Abstract is missing.