Alex Bertels
Sandia National Laboratories California(US)
Publications by Year
Research Areas
Evolutionary Algorithms and Applications, Advanced Multi-Objective Optimization Algorithms, Metaheuristic Optimization Algorithms Research, Advanced Database Systems and Queries, Formal Methods in Verification
Most-Cited Works
- → Improving performance of CDCL SAT solvers by automated design of variable selection heuristics(2017)12 cited
- → Why Asynchronous Parallel Evolution is the Future of Hyper-heuristics(2016)11 cited
- → Asynchronous Parallel Evolutionary Algorithms(2015)9 cited
- Automated design of boolean satisfiability solvers employing evolutionary computation(2016)
- → Emulating the Android Boot Process(2022)1 cited
- The Automated Design of Variable Selection Heuristics for CDCL Solvers To Target Problem Classes.(2017)
- Santeria - An Android Debug Framework - Poster.(2012)
- Creating a Telescopic Data Acquisition and Analysis System from COTS Products.(2020)
- → Understanding Data Structures by Extracting Memory Access Graphs(2017)