@incollection{GomesSabharwalSelman:ModelCounting:2009,
    Author = {Gomes, Carla P. and Sabharwal, Ashish and Selman, Bart},
    BookTitle = {Handbook of Satisfiability},
    Editor = {Biere, Armin and Heule, Marijn and van Maaren, Hans and Walsh, Toby},
    File = {Model Counting - ModelCounting-SAT-Handbook-prelim.pdf},
    Pages = {633--654},
    Publisher = {{IOS} Press},
    Series = {Frontiers in Artificial Intelligence and Applications},
    Title = {Model Counting},
    URL = {https://doi.org/10.3233/978-1-58603-929-5-633},
    Volume = {185},
    Year = {2009},
    bdsk-url-1 = {https://doi.org/10.3233/978-1-58603-929-5-633},
    bibsource = {dblp computer science bibliography, https://dblp.org},
    biburl = {https://dblp.org/rec/series/faia/GomesSS09.bib},
    date-added = {2023-08-26 10:23:27 +0200},
    date-modified = {2023-08-26 10:23:46 +0200},
    timestamp = {Fri, 06 May 2022 08:00:40 +0200},
    doi = {10.3233/978-1-58603-929-5-633}
}

@incollection{GomesSabharwalSelman:ModelCounting:2009, Author = {Gomes, Carla P. and Sabharwal, Ashish and Selman, Bart}, BookTitle = {Handbook of Satisfiability}, Editor = {Biere, Armin and Heule, Marijn and van Maaren, Hans and Walsh, Toby}, File = {Model Counting - ModelCounting-SAT-Handbook-prelim.pdf}, Pages = {633--654}, Publisher = {{IOS} Press}, Series = {Frontiers in Artificial Intelligence and Applications}, Title = {Model Counting}, URL = {https://doi.org/10.3233/978-1-58603-929-5-633}, Volume = {185}, Year = {2009}, bdsk-url-1 = {https://doi.org/10.3233/978-1-58603-929-5-633}, bibsource = {dblp computer science bibliography, https://dblp.org}, biburl = {https://dblp.org/rec/series/faia/GomesSS09.bib}, date-added = {2023-08-26 10:23:27 +0200}, date-modified = {2023-08-26 10:23:46 +0200}, timestamp = {Fri, 06 May 2022 08:00:40 +0200}, doi = {10.3233/978-1-58603-929-5-633} }