Publications

International journals

2023 Constraints Alexis de Colnet, Stefan Mengel, Characterizing Tseitin-Formulas with Short Regular Resolution Refutations in Journal of Artificial Intelligence Research,vol. 76, pp. 265-286, 2023.

International conferences

2023 Explainable AI Alexis de Colnet, Pierre Marquis, On Translations between ML Models for XAI Purposes in Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23},International Joint Conferences on Artificial Intelligence Organization, pp. 3158-3166, 2023.

2022 Constraints Stefan Mengel, Alexis de Colnet, Lower Bounds on Intermediate Results in Bottom-Up Knowledge Compilation in Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022,vol. 36, pp. 5564-5572, 2022.

2022 Constraints Alexis de Colnet, Pierre Marquis, On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits in Thirty-First International Joint Conference on Artificial Intelligence {IJCAI-22},International Joint Conferences on Artificial Intelligence Organization, pp. 2583-2590, 2022.

2021 Constraints Stefan Mengel, Alexis de Colnet, Characterizing Tseitin-Formulas with Short Regular Resolution Refutations in 24th International Conference Theory and Applications of Satisfiability Testing - SAT 2021,Springer International Publishing, vol. 12831, pp. 116-133, 2021.

2021 Constraints Alexis de Colnet, Stefan Mengel, A Compilation of Succinctness Results for Arithmetic Circuits in 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021,2021.

2020 Constraints Alexis de Colnet, Stefan Mengel, Lower Bounds for Approximate Knowledge Compilation in Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20},International Joint Conferences on Artificial Intelligence Organization, pp. 1834-1840, 2020.

2020 Constraints Alexis de Colnet, A Lower Bound on DNNF Encodings of Pseudo-Boolean Constraints in Theory and Applications of Satisfiability Testing – SAT 2020,2020.