%0 Conference Paper %1 conf/cp/ChakrabortyMV13 %A Chakraborty, Supratik %A Meel, Kuldeep S. %A Vardi, Moshe Y. %B CP %D 2013 %E Schulte, Christian %I Springer %K dblp %P 200-216 %T A Scalable Approximate Model Counter. %U http://dblp.uni-trier.de/db/conf/cp/cp2013.html#ChakrabortyMV13 %V 8124 %@ 978-3-642-40626-3

@inproceedings{conf/cp/ChakrabortyMV13, added-at = {2018-11-02T00:00:00.000+0100}, author = {Chakraborty, Supratik and Meel, Kuldeep S. and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2a74e73f8630cdf5aa6f56db2a5b919ea/dblp}, booktitle = {CP}, crossref = {conf/cp/2013}, editor = {Schulte, Christian}, ee = {https://doi.org/10.1007/978-3-642-40627-0_18}, interhash = {514e59ba240af7da6528833cc1fd5371}, intrahash = {a74e73f8630cdf5aa6f56db2a5b919ea}, isbn = {978-3-642-40626-3}, keywords = {dblp}, pages = {200-216}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:19:53.000+0200}, title = {A Scalable Approximate Model Counter.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp2013.html#ChakrabortyMV13}, volume = 8124, year = 2013 }