Applications of model counting
A recurring application for SAT model counting in the literature is extracting predictions from Bayesian networks. See "Algorithms and Complexity Results for #SAT and Bayesian Inference" and 
"On probabilistic inference by weighted model counting".