The Automated Design of Variable Selection Heuristics for CDCL Solvers To Target Problem Classes.
Conference
·
OSTI ID:1344830
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:
- 1344830
- Report Number(s):
- SAND2016-1419C; 619434
- Country of Publication:
- United States
- Language:
- English
Similar Records
The Automated Design of Variable Selection Heuristics for CDCL Solvers To Target Problem Classes.
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.
Conference
·
Fri Apr 01 00:00:00 EDT 2016
·
OSTI ID:1365359
Improving Performance of CDCL SAT Solvers by Automated Design of Variable Selection Heuristics.
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