@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},
}