Metodos algebrico-enumerativos para o problema de maxima satisfatibilidade ponderada

Metodos algebrico-enumerativos para o problema de maxima satisfatibilidade ponderada

Anderson Delcio Parreira

DISSERTAÇÃO

Português

T/UNICAMP P248m

Campinas, SP : [s.n.], 1995.

108f. : il.

Orientador: Marcus Vinicius Soledade Poggi de Aragão

Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação

Resumo: Este trabalho tem como tema central a proposta de um método de resolução eficiente do Problema de Máxima Satisfatibilidade Ponderada. Esta proposta tem sua motivação em uma classe de instâncias deste problema que pode ser resolvida em tempo polinomial. A classe de interesse neste trabalho é...

Abstract: The proposal of an efficient resolution on method for the Maximum Satisfiability Problem is the object of this work. The motivation for this proposal relies on a special class of instances that can be solved by a linear time algorithm. This class is the one for which the co-occurrence...

Metodos algebrico-enumerativos para o problema de maxima satisfatibilidade ponderada

Anderson Delcio Parreira


										

Metodos algebrico-enumerativos para o problema de maxima satisfatibilidade ponderada

Anderson Delcio Parreira

    Exemplares