Sound probabilistic #SAT with projection

@inproceedings{DBLP:journals/corr/KlebanovWW16,
  author    = {Vladimir Klebanov and
               Alexander Weigl and
               J{\"{o}}rg Weisbarth},
  title     = {Sound Probabilistic {\#}SAT with Projection},
  booktitle = {Proceedings 14th International Workshop Quantitative Aspects of Programming
               Languages and Systems, {QAPL} 2016, Eindhoven, The Netherlands, April
               2-3, 2016},
  pages     = {15--29},
  year      = {2016},
  crossref  = {DBLP:journals/corr/TribastoneW16},
  url       = {https://doi.org/10.4204/EPTCS.227.2},
  doi       = {10.4204/EPTCS.227.2},
  timestamp = {Wed, 09 Oct 2019 16:19:29 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/KlebanovWW16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}```