Using Machine Learning Classifiers in SAT Branching [Extended Abstract].

Ruth Helen Bergin, Marco Dalla, Andrea Visentin, Barry O'Sullivan, Gregory M. Provan

Browse the full SoCS paper archive.