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)
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)
1
Assuntos:
“...Parallel SAT solver...”
Parallel SAT solvers and their application in automatic parallelization
Dissertação