Compilation and Fast Model Counting beyond CNF

Alexis De Colnet, Stefan Szeider, Tianwei Zhang
January 2024
Cite Project Project Project DOI
Type
Conference Paper
Asksat Reveal Strides
Stefan Szeider
Stefan Szeider
Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.

Tianwei Zhang
Tianwei Zhang

Tianwei Zhang is a Project Assistant at the Algorithms and Complexity Group.