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]
@inproceedings{BerginDVOP23,
title = {Using Machine Learning Classifiers in SAT Branching [Extended Abstract]},
author = {Ruth Helen Bergin and Marco Dalla and Andrea Visentin and Barry O'Sullivan and Gregory M. Provan},
year = {2023},
doi = {10.1609/socs.v16i1.27298},
url = {https://doi.org/10.1609/socs.v16i1.27298},
researchr = {https://researchr.org/publication/BerginDVOP23},
cites = {0},
citedby = {0},
pages = {169-170},
booktitle = {Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic},
editor = {Roman Barták and Wheeler Ruml and Oren Salzman},
publisher = {AAAI Press},
}