%0 Conference Paper %1 conf/sat/GanianPSSS22 %A Ganian, Robert %A Pokrývka, Filip %A Schidler, André %A Simonov, Kirill %A Szeider, Stefan %B SAT %D 2022 %E Meel, Kuldeep S. %E Strichman, Ofer %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 15:1-15:17 %T Weighted Model Counting with Twin-Width. %U http://dblp.uni-trier.de/db/conf/sat/sat2022.html#GanianPSSS22 %V 236 %@ 978-3-95977-242-6

@inproceedings{conf/sat/GanianPSSS22, added-at = {2022-12-07T00:00:00.000+0100}, author = {Ganian, Robert and Pokrývka, Filip and Schidler, André and Simonov, Kirill and Szeider, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/25aefaccddf81a546e07e7b267a07f16b/dblp}, booktitle = {SAT}, crossref = {conf/sat/2022}, editor = {Meel, Kuldeep S. and Strichman, Ofer}, ee = {https://doi.org/10.4230/LIPIcs.SAT.2022.15}, interhash = {b8890a261ec148181247a59fd95ad771}, intrahash = {5aefaccddf81a546e07e7b267a07f16b}, isbn = {978-3-95977-242-6}, keywords = {dblp}, pages = {15:1-15:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-09T19:21:35.000+0200}, title = {Weighted Model Counting with Twin-Width.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2022.html#GanianPSSS22}, volume = 236, year = 2022 }