Kuldeep S. Meel

Cette étude examine comment approcher efficacement les évaluations de requêtes dans des graphes probabilistes.

Présentation d'une nouvelle méthode pour estimer les compteurs dans les formules DNF.

Un aperçu des améliorations récentes dans les outils de comptage de modèles et leurs applications pratiques.