Buscas alternativas:
problem programming » problems programming (Expandir a busca), parallel programming (Expandir a busca), robots programming (Expandir a busca)
parallel sat » parallel state (Expandir a busca), parallel data (Expandir a busca), parallel scan (Expandir a busca)
sat problem » set problem (Expandir a busca), start problem (Expandir a busca), path problem (Expandir a busca)
Mostrando 1 - 1 resultados de 1 para a busca 'parallel sat problem programming~', tempo de busca: 0,58s

1

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

Parallel SAT solvers and their application in automatic parallelization

Publicado em 2014
Acessar documento
Dissertação