Buscas alternativas:
satisfiability method » satisfiability modulo (Expandir a busca), satisfiability sat (Expandir a busca)
method theory » ethos theory (Expandir a busca), method theoprax (Expandir a busca), matroid theory (Expandir a busca)
Mostrando 1 - 2 resultados de 2 para a busca 'satisfiability method theory', tempo de busca: 1,01s

1

Assuntos: “...Satisfiability Modulo Theory...”

Um novo método de otimização baseado em teorias de satisfatibilidade

Publicado em 2017
Acessar documento
Dissertação

2

Contribuições para o processo de verificação de satisfatibilidade módulo teoria em Event-B

Publicado em 2015
Acessar documento
Dissertação