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

Bertels, Alex; Tauritz, Daniel

doi:10.1145/2908961.2931729

DOE OSTI · 1367007

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

Bertels, Alex·Tauritz, Daniel

View original source ↗Read source document ↗Export metadata ↓

Abstract

Abstract not provided.

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Bertels, Alex, Tauritz, Daniel. 2016-05-01. Why Asynchronous Parallel Evolution is the Future of Hyper-heuristics: A CDCL SAT Solver Case Study.. https://doi.org/10.1145/2908961.2931729

Cite the original work for its findings. Save a collection to share your selection of sources.