Asynchronous Parallel Evolutionary Algorithms: Leveraging Heterogeneous Fitness Evaluation Times for Scalability and Elitist Parsimony Pressure. - Matthew A. Martin; Alex R. Bertels; Daniel R. Tauritz (GECCO (Companion), 2015)

Why Asynchronous Parallel Evolution is the Future of Hyper-heuristics: A CDCL SAT Solver Case Study. - Alex R. Bertels; Daniel R. Tauritz (GECCO (Companion), 2016)

Improving performance of CDCL SAT solvers by automated design of variable selection heuristics. - 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 (SSCI, 2017)