| 2026 | KR | From Tensor Networks to Tractable Circuits, and Back. | Arend-Jan Quist, Marc Farreras Bartra, Alexis de Colnet, John van de Wetering, Alfons Laarman |
| 2026 | SODA | #CFG and #DNNF admit FPRAS. | Kuldeep S. Meel, Alexis de Colnet |
| 2026 | SAT | The Compilability Thresholds of 2-CNF to OBDD. | Alexis de Colnet, Alfons Laarman, Joon Hyung Lee |
| 2025 | ICDT | An FPRAS for Model Counting for Non-Deterministic Read-Once Branching Programs. | Kuldeep S. Meel, Alexis de Colnet |
| 2024 | AAAI | Hardness of Random Reordered Encodings of Parity for Resolution and CDCL. | Leroy Chew, Alexis de Colnet, Friedrich Slivovsky, Stefan Szeider |
| 2024 | IJCAI | Compilation and Fast Model Counting beyond CNF. | Alexis de Colnet, Stefan Szeider, Tianwei Zhang |
| 2024 | KR | ASP-QRAT: A Conditionally Optimal Dual Proof System for ASP. | Leroy Chew, Alexis de Colnet, Stefan Szeider |
| 2024 | SAT | On the Relative Efficiency of Dynamic and Static Top-Down Compilation to Decision-DNNF. | Alexis de Colnet |
| 2023 | IJCAI | On Translations between ML Models for XAI Purposes. | Alexis de Colnet, Pierre Marquis |
| 2023 | SAT | Separating Incremental and Non-Incremental Bottom-Up Compilation. | Alexis de Colnet |
| 2022 | AAAI | Lower Bounds on Intermediate Results in Bottom-Up Knowledge Compilation. | Alexis de Colnet, Stefan Mengel |
| 2022 | IJCAI | On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits. | Alexis de Colnet, Pierre Marquis |
| 2022 | ISAIM | On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits. | Alexis de Colnet, Pierre Marquis |
| 2021 | KR | A Compilation of Succinctness Results for Arithmetic Circuits. | Alexis de Colnet, Stefan Mengel |
| 2021 | SAT | Characterizing Tseitin-Formulas with Short Regular Resolution Refutations. | Alexis de Colnet, Stefan Mengel |
| 2020 | IJCAI | Lower Bounds for Approximate Knowledge Compilation. | Alexis de Colnet, Stefan Mengel |
| 2020 | SAT | A Lower Bound on DNNF Encodings of Pseudo-Boolean Constraints. | Alexis de Colnet |
| 2019 | CP | Dual Hashing-Based Algorithms for Discrete Integration. | Alexis de Colnet, Kuldeep S. Meel |