%0 Conference Paper %1 conf/pods/PavanVBM21 %A Pavan, Aduri %A Vinodchandran, N. V. %A Bhattacharyya, Arnab %A Meel, Kuldeep S. %B PODS %D 2021 %E Libkin, Leonid %E Pichler, Reinhard %E Guagliardo, Paolo %I ACM %K dblp %P 299-311 %T Model Counting meets F0 Estimation. %U http://dblp.uni-trier.de/db/conf/pods/pods2021.html#PavanVBM21 %@ 978-1-4503-8381-3

@inproceedings{conf/pods/PavanVBM21, added-at = {2024-02-05T00:00:00.000+0100}, author = {Pavan, Aduri and Vinodchandran, N. V. and Bhattacharyya, Arnab and Meel, Kuldeep S.}, biburl = {https://www.bibsonomy.org/bibtex/21b9f0d3ea5f014cec587a49295f1cd4d/dblp}, booktitle = {PODS}, crossref = {conf/pods/2021}, editor = {Libkin, Leonid and Pichler, Reinhard and Guagliardo, Paolo}, ee = {https://doi.org/10.1145/3452021.3458311}, interhash = {184261019f3f810a72780bc9e9a5c953}, intrahash = {1b9f0d3ea5f014cec587a49295f1cd4d}, isbn = {978-1-4503-8381-3}, keywords = {dblp}, pages = {299-311}, publisher = {ACM}, timestamp = {2024-04-09T17:08:59.000+0200}, title = {Model Counting meets F0 Estimation.}, url = {http://dblp.uni-trier.de/db/conf/pods/pods2021.html#PavanVBM21}, year = 2021 }