Alexis de Colnet
Projektass.(FWF) / PhD
Role
-
PostDoc Researcher
Algorithms and Complexity, E192-01
Projects
-
Overcoming Intractability in the Knowledge Compilation Map
2022 – 2025 / Austrian Science Fund (FWF)
Publications: 193054 / 193325
Publications
-
Separating Incremental and Non-Incremental Bottom-Up Compilation
/
De Colnet, A. (2023). Separating Incremental and Non-Incremental Bottom-Up Compilation. In M. Mahajan & F. Slivovsky (Eds.), 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023). Schloss-Dagstuhl - Leibniz Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SAT.2023.7
Download: PDF (684 KB)
Project: Overcoming Intractability in the Knowledge Compilation Map (2022–2025) -
Characterizing Tseitin-formulas with short regular resolution refutations
/
De Colnet, A., & Mengel, S. (2023). Characterizing Tseitin-formulas with short regular resolution refutations. Journal of Artificial Intelligence Research, 76, 265–286. https://doi.org/10.1613/jair.1.13521
Download: PDF (351 KB) -
On Translations between ML Models for XAI Purposes
/
de Colnet, A., & Marquis, P. (2023). On Translations between ML Models for XAI Purposes. In Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI-23) (pp. 3158–3166). International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2023/352
Download: PDF (205 KB)
Project: Overcoming Intractability in the Knowledge Compilation Map (2022–2025)