@misc{indiciaea0e9a027e97b,
  title = {Why Asynchronous Parallel Evolution is the Future of Hyper-heuristics: A CDCL SAT Solver Case Study.},
  author = {Bertels, Alex and Tauritz, Daniel},
  year = {2016},
  doi = {10.1145/2908961.2931729},
  url = {https://www.osti.gov/biblio/1367007},
  note = {Source identifier: 1367007}
}