Buscas alternativas:
computacao programming » computer programming (Expandir a busca), computers programming (Expandir a busca), computacao programacao (Expandir a busca)
sat computacao » satd computacao (Expandir a busca), ead computacao (Expandir a busca), cam computacao (Expandir a busca)
parallel sat » parallel state (Expandir a busca), parallel data (Expandir a busca), parallel scan (Expandir a busca)
computacao programming » computer programming (Expandir a busca), computers programming (Expandir a busca), computacao programacao (Expandir a busca)
sat computacao » satd computacao (Expandir a busca), ead computacao (Expandir a busca), cam computacao (Expandir a busca)
parallel sat » parallel state (Expandir a busca), parallel data (Expandir a busca), parallel scan (Expandir a busca)
1
Assuntos:
“...Parallel SAT solver...”
Parallel SAT solvers and their application in automatic parallelization
Dissertação