Alex R. Bertels
According to our database1,
Alex R. Bertels
authored at least 3 papers
between 2015 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2017
Improving performance of CDCL SAT solvers by automated design of variable selection heuristics.
Proceedings of the 2017 IEEE Symposium Series on Computational Intelligence, 2017
2016
Why Asynchronous Parallel Evolution is the Future of Hyper-heuristics: A CDCL SAT Solver Case Study.
Proceedings of the Genetic and Evolutionary Computation Conference, 2016
2015
Asynchronous Parallel Evolutionary Algorithms: Leveraging Heterogeneous Fitness Evaluation Times for Scalability and Elitist Parsimony Pressure.
Proceedings of the Genetic and Evolutionary Computation Conference, 2015