Login / Signup
Adam Harter
Publication Activity (10 Years)
Years Active: 2017-2019
Publications (10 Years): 3
Top Topics
Boolean Satisfiability
Automated Design
Empirical Evidence
Sat Solvers
Top Venues
GECCO (Companion)
SSCI
</>
Publications
</>
Adam Harter
,
Aaron Scott Pope
,
Daniel R. Tauritz
,
Chris Rawlings
Empirical evidence of the effectiveness of primitive granularity control for hyper-heuristics.
GECCO (Companion)
(2019)
Adam Harter
,
Daniel R. Tauritz
,
William M. Siever
Asynchronous parallel cartesian genetic programming.
GECCO (Companion)
(2017)
Marketa Illetskova
,
Alex R. Bertels
,
Joshua M. Tuggle
,
Adam Harter
,
Samuel Richter
,
Daniel R. Tauritz
,
Samuel A. Mulder
,
Denis Bueno
,
Michelle Leger
,
William M. Siever
Improving performance of CDCL SAT solvers by automated design of variable selection heuristics.
SSCI
(2017)