Reduções de problemas em grafos com soluções conexas para (MAX)SAT e adaptação de um resolvedor SAT e MAXSAT não clausal para as instâncias obtidas

Detalhes bibliográficos
Ano de defesa:	2013
Autor(a) principal:	Oliveira, Ricardo Tavares de
Orientador(a):	Silva, Fabiano, 1972-
Banca de defesa:	Não Informado pela instituição
Tipo de documento:	Dissertação
Tipo de acesso:	Acesso aberto
Idioma:	por
Instituição de defesa:	Não Informado pela instituição
Programa de Pós-Graduação:	Não Informado pela instituição
Departamento:	Não Informado pela instituição
País:	Não Informado pela instituição
Palavras-chave em Português:	Programação logica Teoria dos grafos Ciência da computação
Link de acesso:	https://hdl.handle.net/1884/30035
Resumo:	Orientador: Prof. Dr. Fabiano Silva

Registros relacionados