Buscas alternativas:
parallel common » parallel corpora (Expandir a busca)
gpu programming » goal programming (Expandir a busca), logic programming (Expandir a busca), math programming (Expandir a busca)
parallel common » parallel corpora (Expandir a busca)
gpu programming » goal programming (Expandir a busca), logic programming (Expandir a busca), math programming (Expandir a busca)
1
Assuntos:
“...Parallel SAT solver...”
Parallel SAT solvers and their application in automatic parallelization
Dissertação