Efficient implementation of parallel SAT solver based stochastic local search

Detalles Bibliográficos
Autor principal: Abed, Sa'Ed
Lenguaje:eng
Publicado: Nova Science Publishers 2020
Materias:
Computing and Computers
Acceso en línea:http://cds.cern.ch/record/2716625

Internet

http://cds.cern.ch/record/2716625

Ejemplares similares