Improving Performance of CDCL SAT Solvers by Automated Design of Variable Selection Heuristics.
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:
- 1573952
- Report Number(s):
- SAND2017-10382C; 666505
- 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
·
Sat Jul 01 00:00:00 EDT 2017
·
OSTI ID:1462513
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
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:1365359