Feeds
O problema da Satisfatibilidade Probabilística (PSAT) é um problema na classe de complexidade dos problemas NP-completos que requer a aplicação conjunta de raciocínio dedutivo e probabilístico. Este problema consiste de uma atribuição de probabilidades ao um conjunto de fórmulas proposicionais, e sua solução é uma decisão sobre a consistência desta atribuição.
Links:
[1] http://napsol.icmc.usp.br/pt-br/node/201
[2] http://ccsl.ime.usp.br/pt-br/projetos