@inproceedings{QAPL-2016-KlebanovWW,
	author        = "Vladimir Klebanov and Alexander Weigl and Jörg Weisbarth",
	booktitle     = "{Proceedings of the 14th Workshop on Quantitative Aspects of Programming Languages and Systems}",
	doi           = "10.4204/EPTCS.227.2",
	ee            = "http://arxiv.org/abs/1610.08167",
	pages         = "15--29",
	title         = "{Sound Probabilistic #SAT with Projection}",
	year          = 2016,
}