Why Asynchronous Parallel Evolution is the Future of Hyper-heuristics: A CDCL SAT Solver Case Study.
Abstract not provided.
- Research Organization:
- Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
- Sponsoring Organization:
- USDOE National Nuclear Security Administration (NNSA)
- DOE Contract Number:
- AC04-94AL85000
- OSTI ID:
- 1367007
- Report Number(s):
- SAND2016-4207C; 639457
- Resource Relation:
- Conference: Proposed for presentation at the 6th Workshop on Evolutionary Computation for the Automated Design of Algorithms in Denver, Colorado, U.S.A..
- Country of Publication:
- United States
- Language:
- English
Similar Records
Improving Performance of CDCL SAT Solvers by Automated Design of Variable Selection Heuristics.
Improving Performance of CDCL SAT Solvers by Automated Design of Variable Selection Heuristics.
The Automated Design of Variable Selection Heuristics for CDCL Solvers To Target Problem Classes.
Conference
·
Sat Jul 01 00:00:00 EDT 2017
·
OSTI ID:1367007
+7 more
Improving Performance of CDCL SAT Solvers by Automated Design of Variable Selection Heuristics.
Conference
·
Fri Sep 01 00:00:00 EDT 2017
·
OSTI ID:1367007
+7 more
The Automated Design of Variable Selection Heuristics for CDCL Solvers To Target Problem Classes.
Conference
·
Fri Apr 01 00:00:00 EDT 2016
·
OSTI ID:1367007
+2 more