Using Machine Learning Classifiers in SAT Branching [Extended Abstract] - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Ruth Helen Bergin' in GoogleThis author has not been identified. Look up 'Marco Dalla' in GoogleThis author has not been identified. Look up 'Andrea Visentin' in GoogleThis author has not been identified. Look up 'Barry O'Sullivan' in GoogleThis author has not been identified. Look up 'Gregory M. Provan' in Google

runs on WebDSL