Buscas alternativas:
automatic programming » automatic diagramming (Expandir a busca), automatic programmed (Expandir a busca), quadratic programming (Expandir a busca)
sat automatic » data automatic (Expandir a busca), an automatic (Expandir a busca), semi automatic (Expandir a busca)
parallel sat » parallel state (Expandir a busca), parallel data (Expandir a busca), parallel scan (Expandir a busca)
Mostrando 1 - 2 resultados de 2 para a busca 'parallel sat automatic programming', tempo de busca: 0,17s

1

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

Parallel SAT solvers and their application in automatic parallelization

Publicado em 2014
Acessar documento
Dissertação

2

Modelagem de curto prazo de séries temporais climáticas utilizando redes neurais artificiais, modelos aditivos generalizados e sazonais autoregressivos integrados de médias móveis...

Publicado em 2019
Acessar documento
Tese