Satisfazibilidade probabilística

Satisfazibilidade probabilística

Este trabalho estuda o problema da Satisfazibilidade Probabilística (PSAT), revendo a sua solução via programação linear, além de propor novos algoritmos para resolvê-lo através da redução ao SAT. Construímos uma redução polinomial do PSAT para o SAT, chamada de Redução Canônica, codificando ope...

Full description

Bibliographic Details
Main Author: Glauber De Bona
Other Authors: Marcelo Finger
Language:Portuguese
Published: Universidade de São Paulo 2011
Subjects:
lógica probabilística
redução de Turing
redução polinomial
satisfazibilidade (SAT)
satisfazibilidade probabilística (PSAT)
transição de fase
phase transition
polynomial reduction
probabilistic logic
probabilistic satisfiability (PSAT)
satisfiability (SAT)
Turing reduction
Online Access:http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02062011-181639/

Internet

http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02062011-181639/

Similar Items