Sound probabilistic #SAT with projection

@inproceedings{DBLP:journals/corr/KlebanovWW16,
	author = {['Vladimir Klebanov', 'Alexander Weigl', 'Jö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}
}