Abstract
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, ed.), pages 3315–3323, 8 2024, International Joint Conferences on Artificial Intelligence Organization. (Note: Main Track)
Type
Stefan Szeider
Head of Research Unit
Stefan Szeider is a Professor at the Algorithms and Complexity Group.
Tianwei Zhang
Tianwei Zhang is a Project Assistant at the Algorithms and Complexity Group.