TY  - RPRT
TI  - Why Asynchronous Parallel Evolution is the Future of Hyper-heuristics: A CDCL SAT Solver Case Study.
AU  - Bertels, Alex
AU  - Tauritz, Daniel
PY  - 2016
DO  - 10.1145/2908961.2931729
UR  - https://www.osti.gov/biblio/1367007
ID  - 1367007
ER  -