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