de Colnet, Alexis

7 publications

IJCAI 2024 Compilation and Fast Model Counting Beyond CNF Alexis de Colnet, Stefan Szeider, Tianwei Zhang

AAAI 2024 Hardness of Random Reordered Encodings of Parity for Resolution and CDCL Leroy Chew, Alexis de Colnet, Friedrich Slivovsky, Stefan Szeider

JAIR 2023 Characterizing Tseitin-Formulas with Short Regular Resolution Refutations Alexis de Colnet, Stefan Mengel

IJCAI 2023 On Translations Between ML Models for XAI Purposes Alexis de Colnet, Pierre Marquis

AAAI 2022 Lower Bounds on Intermediate Results in Bottom-up Knowledge Compilation Alexis de Colnet, Stefan Mengel

IJCAI 2022 On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits Alexis de Colnet, Pierre Marquis

IJCAI 2020 Lower Bounds for Approximate Knowledge Compilation Alexis de Colnet, Stefan Mengel