EFFICIENT IMPLEMENTATION OF PARALLEL SAT SOLVER BASED STOCHASTIC LOCAL SEARCH.
Clasificación: | Libro Electrónico |
---|---|
Autores principales: | , , |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
NEW YORK :
NOVA Science,
2020.
|
Colección: | Computer science, technology and applications.
|
Temas: | |
Acceso en línea: | Texto completo |
Descripción Física: | 1 online resource. |
---|---|
ISBN: | 1536170011 9781536170016 |