Alex R. Bertels

According to our database1, Alex R. Bertels authored at least 3 papers between 2015 and 2017.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

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


  Loading...