Improving Performance of CDCL SAT Solvers by Automated Design of Variable Selection Heuristics.
Abstract not provided.
- Research Organization:
- Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Sandia National Laboratories, null
- Sponsoring Organization:
- USDOE National Nuclear Security Administration (NNSA)
- DOE Contract Number:
- AC04-94AL85000
- OSTI ID:
- 1462513
- Report Number(s):
- SAND2017-7363C; 655301
- Resource Relation:
- Conference: Proposed for presentation at the 2017 IEEE Symposium Series on Computational Intelligence held November 27 - December 1, 2017 in Honolulu, Hawaii.
- Country of Publication:
- United States
- Language:
- English
Similar Records
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.
The Automated Design of Variable Selection Heuristics for CDCL Solvers To Target Problem Classes.
Conference
·
Fri Sep 01 00:00:00 EDT 2017
·
OSTI ID:1462513
+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:1462513
+2 more
The Automated Design of Variable Selection Heuristics for CDCL Solvers To Target Problem Classes.
Conference
·
Mon Feb 01 00:00:00 EST 2016
·
OSTI ID:1462513
+2 more