Login / Signup
Alex R. Bertels
Publication Activity (10 Years)
Years Active: 2015-2017
Publications (10 Years): 3
Top Topics
Orders Of Magnitude
Boolean Satisfiability
Simulated Annealing
Fitness Evaluation
Top Venues
GECCO (Companion)
SSCI
</>
Publications
</>
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)
Alex R. Bertels
,
Daniel R. Tauritz
Why Asynchronous Parallel Evolution is the Future of Hyper-heuristics: A CDCL SAT Solver Case Study.
GECCO (Companion)
(2016)
Matthew A. Martin
,
Alex R. Bertels
,
Daniel R. Tauritz
Asynchronous Parallel Evolutionary Algorithms: Leveraging Heterogeneous Fitness Evaluation Times for Scalability and Elitist Parsimony Pressure.
GECCO (Companion)
(2015)