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...
Answer Set Programming (ASP) is a powerful modelling formalism that is v...
To appear in Theory and Practice of Logic Programming (TPLP)
Bound Fou...