Alexis de Colnet

33 papers A* 9A 6Misc 1Journal 17
YearRankTypeTitle / Venue / Authors
2026 A* conf
#CFG and #DNNF admit FPRAS.
SODA
Kuldeep S. Meel, Alexis de Colnet
2026 J jnl
Counting and Sampling Traces in Regular Languages.
Proc. ACM Program. Lang.
Alexis de Colnet, Kuldeep S. Meel, Umang Mathur
2026 J jnl
OBDDs, SDDs, and circuits of bounded width: Completeness matters.
Artif. Intell.
Alexis de Colnet, Sebastian Ordyniak, Stefan Szeider
2026 J jnl
The Compilability Thresholds of 2-CNF to OBDD.
CoRR
Alexis de Colnet, Alfons Laarman, Joon Hyung Lee
2025 A conf
An FPRAS for Model Counting for Non-Deterministic Read-Once Branching Programs.
ICDT
Kuldeep S. Meel, Alexis de Colnet
2025 J jnl
Compilation and Fast Model Counting beyond CNF.
CoRR
Alexis de Colnet, Stefan Szeider, Tianwei Zhang
2025 J jnl
Counting and Sampling Traces in Regular Languages.
CoRR
Alexis de Colnet, Kuldeep S. Meel, Umang Mathur
2025 J jnl
Towards Practical FPRAS for #NFA: Exploiting the Power of Dependence.
Proc. ACM Manag. Data
Kuldeep S. Meel, Alexis de Colnet
2025 J jnl
Towards practical FPRAS for #NFA: Exploiting the Power of Dependence.
CoRR
Kuldeep S. Meel, Alexis de Colnet
2024 J jnl
#CFG and #DNNF admit FPRAS.
CoRR
Kuldeep S. Meel, Alexis de Colnet
2024 A* conf
ASP-QRAT: A Conditionally Optimal Dual Proof System for ASP.
KR
Leroy Chew, Alexis de Colnet, Stefan Szeider
2024 J jnl
An FPRAS for #nFBDD.
CoRR
Kuldeep S. Meel, Alexis de Colnet
2024 A* conf
Compilation and Fast Model Counting beyond CNF.
IJCAI
Alexis de Colnet, Stefan Szeider, Tianwei Zhang
2024 A* conf
Hardness of Random Reordered Encodings of Parity for Resolution and CDCL.
AAAI
Leroy Chew, Alexis de Colnet, Friedrich Slivovsky, Stefan Szeider
2024 J jnl
Hardness of Random Reordered Encodings of Parity for Resolution and CDCL.
CoRR
Leroy Chew, Alexis de Colnet, Friedrich Slivovsky, Stefan Szeider
2024 A conf
On the Relative Efficiency of Dynamic and Static Top-Down Compilation to Decision-DNNF.
SAT
Alexis de Colnet
2023 J jnl
Characterizing Tseitin-Formulas with Short Regular Resolution Refutations.
J. Artif. Intell. Res.
Alexis de Colnet, Stefan Mengel
2023 A* conf
On Translations between ML Models for XAI Purposes.
IJCAI
Alexis de Colnet, Pierre Marquis
2023 J jnl
On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits.
CoRR
Alexis de Colnet, Pierre Marquis
2023 A conf
Separating Incremental and Non-Incremental Bottom-Up Compilation.
SAT
Alexis de Colnet
2022 A* conf
Lower Bounds on Intermediate Results in Bottom-Up Knowledge Compilation.
AAAI
Alexis de Colnet, Stefan Mengel
2022 A* conf
On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits.
IJCAI
Alexis de Colnet, Pierre Marquis
2022 Misc conf
On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits.
ISAIM
Alexis de Colnet, Pierre Marquis
2021 A* conf
A Compilation of Succinctness Results for Arithmetic Circuits.
KR
Alexis de Colnet, Stefan Mengel
2021 J jnl
A Compilation of Succinctness Results for Arithmetic Circuits.
CoRR
Alexis de Colnet, Stefan Mengel
2021 J jnl
A Lower Bound on DNNF Encodings of Pseudo-Boolean Constraints.
CoRR
Alexis de Colnet
2021 A conf
Characterizing Tseitin-Formulas with Short Regular Resolution Refutations.
SAT
Alexis de Colnet, Stefan Mengel
2021 J jnl
Characterizing Tseitin-formulas with short regular resolution refutations.
CoRR
Alexis de Colnet, Stefan Mengel
2021 J jnl
Lower Bounds on Intermediate Results in Bottom-Up Knowledge Compilation.
CoRR
Alexis de Colnet, Stefan Mengel
2020 A conf
A Lower Bound on DNNF Encodings of Pseudo-Boolean Constraints.
SAT
Alexis de Colnet
2020 A* conf
Lower Bounds for Approximate Knowledge Compilation.
IJCAI
Alexis de Colnet, Stefan Mengel
2020 J jnl
Lower Bounds for Approximate Knowledge Compilation.
CoRR
Alexis de Colnet, Stefan Mengel
2019 A conf
Dual Hashing-Based Algorithms for Discrete Integration.
CP
Alexis de Colnet, Kuldeep S. Meel