Compilation and Fast Model Counting beyond CNF

Abstract

Full Citation:

Alexis de Colnet, Stefan Szeider, Tianwei Zhang. Compilation and Fast Model Counting beyond CNF. Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI-24 (Kate Larson), pages 3315-3323, 8 2024, International Joint Conferences on Artificial Intelligence Organization. (Note: Main Track)

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.