Mostrando 1 - 1 resultados de 1 para a busca 'Romanelli Lodron Zuim', tempo de busca: 0,01s

1

Uma heurística de decisão baseada na subtração de cubos para solucionadores DPLL do problema de satisfabilidade

Publicado em 2007
Acessar documento
Tese