Listar Computación por tema "SAT-PaDdlinG"
Mostrando ítems 1-1 de 1
-
Parallel SAT solvers and their application in automatic parallelization
(2014) [Tesis de maestría]Since the slowdown in improvement in the frequency of processors, a new tendency has arisen to allow software to take advantage of faster hardware: parallelization. However, different from increasing the frequency of ...