Weighted Model Counting with Twin-Width.

Robert Ganian, Filip Pokrvka, Andr Schidler, Kirill Simonov, Stefan Szeider

Browse the full SAT paper archive.