Buscas alternativas:
sat solver » sat solvers (Expandir a busca), smt solvers (Expandir a busca)
Mostrando 1 - 2 resultados de 2 para a busca '"[en] SAT SOLVER"', tempo de busca: 0,43s

1

Assuntos: “...[pt] SAT SOLVER...”

[en] COMPLIANCE REASONING ON LEGAL NORMS: A LOGIC-BASED APPROACH

Publicado em 2024
Acessar documento (1)
Acessar documento (2)
Acessar documento (3)
Tese

2

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

Parallel SAT solvers and their application in automatic parallelization

Publicado em 2014
Acessar documento
Dissertação