Jean-Marie Lagniez

Cette étude présente une méthode pour améliorer l'efficacité du comptage de modèles en utilisant l'élimination des clauses bloquées.