Metodos algebrico-enumerativos para o problema de maxima satisfatibilidade ponderada - Parreira, Anderson Delcio (1995)
Orientador: Marcus Vinicius Soledade Poggi de Aragão