Model counting is the task of computing the number of assignments to
var...
Model counting is the problem of computing the number of models that sat...
To appear in Theory and Practice of Logic Programming (TPLP)
Bound Fou...
Nogood learning is a powerful approach to reducing search in Constraint
...