Automated Design of Boolean Satisfiability Solvers Employing Evolutionary Computation.
Thesis/Dissertation
·
OSTI ID:1561475
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:
- 1561475
- Report Number(s):
- SAND2016-4094T; 639081
- Country of Publication:
- United States
- Language:
- English
Similar Records
HYPER-HEURISTICS FOR THE AUTOMATED DESIGN OF BLACK-BOX SEARCH ALGORITHMS.
Automation of computer systems design and simulation
An Automated Approach for Reconstruction of Surfaces (Document).
Thesis/Dissertation
·
Fri May 01 00:00:00 EDT 2015
·
OSTI ID:1331618
Automation of computer systems design and simulation
Thesis/Dissertation
·
Thu Dec 31 23:00:00 EST 1987
·
OSTI ID:5501292
An Automated Approach for Reconstruction of Surfaces (Document).
Thesis/Dissertation
·
Wed Aug 01 00:00:00 EDT 2018
·
OSTI ID:1466891