Kuldeep S. Meel

Este estudo analisa como aproximar de forma eficiente as avaliações de consultas em grafos probabilísticos.

Apresentando um novo método para estimar contagens em fórmulas DNF.

Uma revisão das melhorias recentes em ferramentas de contagem de modelos e suas aplicações práticas.