• Classified by Research Topic • Sorted by Date • Classified by Publication Type •
Approximate Model Counting.
Supratik Chakraborty, Kuldeep S. Meel and Moshe Y. Vardi .
In Armin Biere, Marijn Heule, Hans van Maaren and Toby Walsh , editors, Handbook of Satisfiability - Second Edition, Frontiers in Artificial Intelligence and Applications, pp. 1015–1045, IOS Press, 2021.
(unavailable)
@incollection{CMV21,
author={
Supratik Chakraborty and
Kuldeep S. Meel and
Moshe Y. Vardi
},
editor={
Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh
},
title={Approximate Model Counting},
booktitle={Handbook of Satisfiability - Second Edition},
series={Frontiers in Artificial Intelligence and Applications},
volume={336},
pages={1015--1045},
publisher={IOS Press},
year={2021},
bib2html_pubtype={Book Chapter/Thesis},
bib2html_rescat={Counting},
bib2html_dl_pdf={../Papers/handbook-chapter.pdf},
timestamp={Fri, 06 May 2022 08:06:04 +0200},
biburl={https://dblp.org/rec/series/faia/ChakrabortyMV21.bib},
bibsource={dblp computer science bibliography, https://dblp.org},
}
Generated by bib2html.pl (written by Patrick Riley with layout from Sanjit A. Seshia ) on Thu Apr 30, 2026 09:22:03