Why Asynchronous Parallel Evolution is the Future of Hyper-heuristics: A CDCL SAT Solver Case Study.

Alex R. Bertels, Daniel R. Tauritz

Browse the full GECCO paper archive.