9

I have been reading about model counting, a.k.a. the #SAT problem. What are the practical applications, if any, of this problem, and how exactly do they reduce to it? I have been unable to find any, though that's simply due to my own ignorance of the subject.

Raphael
  • 73,212
  • 30
  • 182
  • 400
Elliot Gorokhovsky
  • 923
  • 4
  • 15

1 Answers1

5

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".

The Amplitwist
  • 127
  • 3
Kyle Jones
  • 8,207
  • 2
  • 30
  • 52