• 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 Aug 22, 2024 18:37:34