Top

Título: 
Descrição: 

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.

Localização: 
CCSL-IME
Categoria(s): 
Pesquisa
Estado: 
Ativo

Apoio:

  • USP - Pró-Reitoria de Pesquisa
  • Capes
  • CNPq
  • Fapesp
//0x87h