Using Machine Learning Classifiers in SAT Branching
You are here
| Title | Using Machine Learning Classifiers in SAT Branching |
| Publication Type | Conference Paper |
| Year of Publication | 2023 |
| Authors | Provan G, Sohenge Y |
| Conference Name | SOCS Conference |
| Date Published | 07 |
| URL | https://ojs.aaai.org/index.php/SOCS/article/view/27298 |
| DOI | 10.1609/socs.v16i1.27298 |
