Classified by Research TopicSorted by DateClassified by Publication Type

Approximate Model Counting

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.






  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},
  timestamp = {Fri, 06 May 2022 08:06:04 +0200},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}

Generated by (written by Patrick Riley with layout from Sanjit A. Seshia ) on Sun Apr 14, 2024 11:15:51