EFFICIENT IMPLEMENTATION OF PARALLEL SAT SOLVER BASED STOCHASTIC LOCAL SEARCH.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Abed, Sa'ed (Autor), Nachawi, Salam I. (Autor), Al-Shayeji, Mohammad (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: NEW YORK : NOVA Science, 2020.
Colección:Computer science, technology and applications.
Temas:
Computer software.
Computer programs.
Logiciels.
software.
Acceso en línea:Texto completo

Internet

Texto completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares