Dual Hashing-Based Algorithms for Discrete Integration. - Alexis de Colnet; Kuldeep S. Meel (CP, 2019)

Lower Bounds for Approximate Knowledge Compilation. - Alexis de Colnet; Stefan Mengel (IJCAI, 2020)

A Lower Bound on DNNF Encodings of Pseudo-Boolean Constraints. - Alexis de Colnet (SAT, 2020)

A Compilation of Succinctness Results for Arithmetic Circuits. - Alexis de Colnet; Stefan Mengel (KR, 2021)

Lower Bounds on Intermediate Results in Bottom-Up Knowledge Compilation. - Alexis de Colnet; Stefan Mengel (AAAI, 2022)

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

On Translations between ML Models for XAI Purposes. - Alexis de Colnet; Pierre Marquis (IJCAI, 2023)

Separating Incremental and Non-Incremental Bottom-Up Compilation. - Alexis de Colnet (SAT, 2023)

Characterizing Tseitin-Formulas with Short Regular Resolution Refutations. - Alexis de Colnet; Stefan Mengel (J. Artif. Intell. Res., 2023)

Dataset of Random Reordered Encodings of Parity Problems. - Leroy Chew; Alexis de Colnet; Friedrich Slivovsky; Stefan Szeider (Zenodo, 2023)

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

Compilation and Fast Model Counting beyond CNF. - Alexis de Colnet; Stefan Szeider; Tianwei Zhang (IJCAI, 2024)

ASP-QRAT: A Conditionally Optimal Dual Proof System for ASP. - Leroy Chew; Alexis de Colnet; Stefan Szeider (KR, 2024)

On the Relative Efficiency of Dynamic and Static Top-Down Compilation to Decision-DNNF. - Alexis de Colnet (SAT, 2024)

An FPRAS for #nFBDD. - Kuldeep S. Meel; Alexis de Colnet (CoRR, 2024)

#CFG and #DNNF admit FPRAS. - Kuldeep S. Meel; Alexis de Colnet (CoRR, 2024)

An FPRAS for Model Counting for Non-Deterministic Read-Once Branching Programs. - Kuldeep S. Meel; Alexis de Colnet (ICDT, 2025)

Towards Practical FPRAS for #NFA: Exploiting the Power of Dependence. - Kuldeep S. Meel; Alexis de Colnet (Proc. ACM Manag. Data, 2025)