Alexis De Colnet

Recent Publications

Compilation and Fast Model Counting beyond CNF

Alexis De Colnet, Stefan Szeider, Tianwei Zhang

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

Hardness of Random Reordered Encodings of Parity for Resolution and CDCL

Leroy Chew, Alexis De Colnet, Friedrich Slivovsky, Stefan Szeider

AAAI'24, the Thirty-Eighth AAAI Conference on Artificial Intelligence, February 20-27, Vancouver, Canada (Jennifer Dy and Sriraam Natarajan), pages 7978-7986, 2024, AAAI Press.