@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@COMMENT This file came from Kuldeep S. Meel's publication pages at
@COMMENT http://www.comp.nus.edu.sg/~meel/publications/
@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}
}