Multiplex: um procedimento baseado em simulted annealing aplicado ao problema Max-Sat ponderado

Página do item simplificado
dc.contributor.advisor-co1Provedel, Attílio
dc.contributor.advisor1Alvarenga, Arlindo Gomes de
dc.contributor.authorTeixeira, Giovany Frossard
dc.contributor.referee1Ochi, Luiz Satoru
dc.contributor.referee2Ahonen, Hannu Tapio
dc.date.accessioned2016-12-23T14:33:34Z
dc.date.available2007-06-14
dc.date.available2016-12-23T14:33:34Z
dc.date.issued2006-04-07
dc.description.abstractabstracteng
dc.description.resumoComputar a solução ótima para uma unidade de problema MAX-SAT Ponderado (weighted maximum satisfiability) é difícil mesmo se cada cláusula contiver apenas dois literais. Neste trabalho, será descrita a implementação de uma nova heurística aplicada a instâncias de problema do tipo MAX-SAT Ponderado, mas perfeitamente extensível a outros problemas. Para comparação, serão geradas soluções para uma quantidade significativa de problemas e seus resultados serão comparados com os de outras heurísticas já desenvolvidas para esse tipo de problema, dentre elas as heurísticas consideradas "estado da arte", ou seja, heurísticas que têm obtido os melhores resultados no universo das heurísticas existentes.
dc.formatText
dc.identifier.citationTEIXEIRA, Giovany Frossard. Multiplex: um procedimento baseado em simulted annealing aplicado ao problema Max-Sat ponderado. 2006. 65 f. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Centro Tecnológico, Vitória, 2006.
dc.identifier.urihttp://repositorio.ufes.br/handle/10/6354
dc.languagepor
dc.publisherUniversidade Federal do Espírito Santo
dc.publisher.countryBR
dc.publisher.courseMestrado em Informática
dc.publisher.departmentCentro Tecnológico
dc.publisher.initialsUFES
dc.publisher.programPrograma de Pós-Graduação em Informática
dc.rightsopen access
dc.subject.br-rjbnProgramação heurística
dc.subject.br-rjbnTêmpera simulada (Matemática)
dc.subject.br-rjbnMultiplex
dc.subject.br-rjbnOntologias (Recuperação da informação)
dc.subject.cnpqCiência da Computação
dc.subject.udc004
dc.titleMultiplex: um procedimento baseado em simulted annealing aplicado ao problema Max-Sat ponderado
dc.typemasterThesis
Arquivos
Pacote Original
Agora exibindo 1 - 1 de 1
Imagem de Miniatura
Nome:
dissertacao.pdf
Tamanho:
403.13 KB
Formato:
Adobe Portable Document Format
Descrição:
Baixar
Coleções
Mestrado em Informática