Sound Probabilistic #SAT with Projection

Reviewed Paper In Proceedings

Author(s):Vladimir Klebanov, Alexander Weigl, and Jörg Weisbarth
In:14th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2016)
Series:Electronic Proceedings in Theoretical Computer Science
Volume:227
Year:2016
Pages:15-29
DOI:10.4204/EPTCS.227.2

BibTeX

@inproceedings{EPTCS227.2, 
	author={Vladimir Klebanov and Alexander Weigl and Jörg Weisbarth},
	title={Sound Probabilistic \#{SAT} with Projection},
	booktitle={14th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2016)},
	editor={Tribastone, Mirco and Wiklicky, Herbert},
	series={Electronic Proceedings in Theoretical Computer Science},
	volume={227},
	pages={15-29},
	month=oct,
	year=2016,
	doi={10.4204/EPTCS.227.2}
}