TY  - RPRT
TI  - Weighted Model Counting with Twin-Width
AU  - Robert Ganian
AU  - Filip Pokrývka
AU  - André Schidler
AU  - Kirill Simonov
AU  - Stefan Szeider
PY  - 2022
UR  - https://arxiv.org/abs/2206.01706
ID  - 2206.01706
ER  -