PSAT

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.