GANIAN, Robert,
Filip POKRÝVKA, André SCHIDLER, Kirill SIMONOV a Stefan SZEIDER. Weighted Model Counting with Twin-Width. Online. In Meel, Kuldeep S. and Strichman, Ofer.
25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik, 2022, s. "15:1"-"15:17", 17 s. ISBN 978-3-95977-242-6. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.SAT.2022.15.