Login / Signup
Ruth Helen Bergin
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Sat Solvers
Learning Classifier Systems
Linear Classifiers
Extended Abstract
Top Venues
SOCS
</>
Publications
</>
Ruth Helen Bergin
,
Marco Dalla
,
Andrea Visentin
,
Barry O'Sullivan
,
Gregory M. Provan
Using Machine Learning Classifiers in SAT Branching [Extended Abstract].
SOCS
(2023)