Why Asynchronous Parallel Evolution is the Future of Hyper-heuristics: A CDCL SAT Solver Case Study.
Abstract not provided.
- Research Organization:
- Sandia National Laboratories (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
- 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:1462513
Improving Performance of CDCL SAT Solvers by Automated Design of Variable Selection Heuristics.
Conference
·
Fri Sep 01 00:00:00 EDT 2017
·
OSTI ID:1573952
The Automated Design of Variable Selection Heuristics for CDCL Solvers To Target Problem Classes.
Conference
·
Sun Jan 31 23:00:00 EST 2016
·
OSTI ID:1344830