Weighted Model Counting with Twin-Width

Ganian, Robert; Pokrývka, Filip; Schidler, Andre; Simonov, Kirill; Szeider, Stefan

doi:10.4230/LIPIcs.SAT.2022.15

by Robert Ganian, Filip Pokrývka, Andre Schidler, Kirill Simonov, Stefan Szeider

Reference:

Weighted Model Counting with Twin-WidthRobert Ganian, Filip Pokrývka, Andre Schidler, Kirill Simonov, Stefan Szeider25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel (Kuldeep S. Meel, Ofer Strichman, eds.), volume 236 of LIPIcs, pages 15:1–15:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Bibtex Entry:

@string{lipics="LIPIcs"}
@inproceedings{GPSSS22,
  author    = {Robert Ganian and Filip Pokr{\' y}vka and Andre
                  Schidler and Kirill Simonov and Stefan Szeider},
  title     = {Weighted Model Counting with Twin-Width},
editor    = {Kuldeep S. Meel and
               Ofer Strichman},
  title     = {Weighted Model Counting with Twin-Width},
  booktitle = {25th International Conference on Theory and
                  Applications of Satisfiability Testing, {SAT} 2022,
                  August 2-5, 2022, Haifa, Israel},
  series    = {LIPIcs},
  volume    = {236},
  pages     = {15:1--15:17},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2022},
  url       = {10.4230/LIPIcs.SAT.2022.15">https://doi.org/10.4230/LIPIcs.SAT.2022.15},
  doi       = {10.4230/LIPIcs.SAT.2022.15},
keywords  = {ParAI,nfpc,slim,reveal},
}