Weighted Model Counting with Twin-Width

Robert Ganian, Filip Pokr{\' Y}vka, Andre Schidler, Kirill Simonov, Stefan Szeider
January 2022
PDF bib Project Project Project Project DOI

Abstract

Full Citation:

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

Type
Conference Paper
ParAI Nfpc Reveal Slim
Robert Ganian
Robert Ganian

Robert Ganian is a Professor at the Algorithms and Complexity Group.

Stefan Szeider
Stefan Szeider
Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.