Buscas alternativas:
programming problem » programming problems (Expandir a busca)
sat programming » set programming (Expandir a busca), math programming (Expandir a busca), plant programming (Expandir a busca)
parallel sat » parallel state (Expandir a busca), parallel data (Expandir a busca), parallel scan (Expandir a busca)
Mostrando 1 - 1 resultados de 1 para a busca 'parallel sat programming problem', tempo de busca: 0,13s

1

Assuntos: “...Parallel SAT solver...”

Parallel SAT solvers and their application in automatic parallelization

Publicado em 2014
Acessar documento
Dissertação