Mostrando 1 - 2 resultados de 2 para a busca 'Ribas, Bruno César', tempo de busca: 0,02s

1

Satisfatibilidade não-clausal restrita às variáveis de entrada

Publicado em 2011
Acessar documento
Dissertação

2

Um método de pré-processamento de fórmulas SAT e pseudo-boolean baseado em técnicas de programação linear inteira mista

Publicado em 2015
Acessar documento
Tese