Sound Probabilistic #SAT with Projection

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Vladimir Klebanov, Alexander Weigl und Jörg Weisbarth
In:14th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2016)
Reihe:Electronic Proceedings in Theoretical Computer Science
Band:227
Jahr:2016
Seiten: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}
}