Romanelli Londron Zuim

Informações coletadas do Lattes

Acadêmico

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Henrique Pacca Loureiro Luna

Coelho, C. J. N.; Sousa, J.J.H.T.;Luna, H. P. L.; Valente, M.T.de O.;Fernandes, A. O.; VIEIRA, Newton José. Uma heurística de decisão baseada na subtração de cubos para solucionadores DPLL do problema da satisfatibilidade. 2007. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Minas Gerais.

Henrique Pacca Loureiro Luna

Luna, H. P. L.; COELLHO JÚNIOR, Claudionor José Nunes; FERNANDES, Antônio Otávio. Resolução de Problemas SAT em Lógica Multivalorada Usando Arquiteturas Reconfiguráveis. 2004. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Minas Gerais.