BibTeX record series/faia/ChakrabortyMV21

download as .bib file

@incollection{DBLP:series/faia/ChakrabortyMV21,
  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},
  url          = {https://doi.org/10.3233/FAIA201010},
  doi          = {10.3233/FAIA201010},
  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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics