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

Não existem arquivos associados a este item.
Título: 
Autor(es) e Colaborador(es): 
Autor(es) Principais: 
Outros identificadores: 
Data: 
9-Mai-2013
9-Mai-2013
9-Mai-2013
Tipo: 
Palavras-chave: 


Aparece nas coleções:Repositório Institucional - Rede Paraná Acervo