Alexis de Colnet

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 22

Top Topics

Prime Implicants

Knowledge Compilation

Top Venues

Publications

Leroy Chew, Alexis de Colnet, Friedrich Slivovsky, Stefan Szeider
Hardness of Random Reordered Encodings of Parity for Resolution and CDCL. AAAI (2024)
Leroy Chew, Alexis de Colnet, Friedrich Slivovsky, Stefan Szeider
Hardness of Random Reordered Encodings of Parity for Resolution and CDCL. CoRR (2024)
Kuldeep S. Meel, Alexis de Colnet
#CFG and #DNNF admit FPRAS. CoRR (2024)
Kuldeep S. Meel, Alexis de Colnet
An FPRAS for #nFBDD. CoRR (2024)
Alexis de Colnet
On the Relative Efficiency of Dynamic and Static Top-Down Compilation to Decision-DNNF. SAT (2024)
Alexis de Colnet
Separating Incremental and Non-Incremental Bottom-Up Compilation. SAT (2023)
Alexis de Colnet, Pierre Marquis
On Translations between ML Models for XAI Purposes. IJCAI (2023)
Alexis de Colnet, Pierre Marquis
On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits. CoRR (2023)
Alexis de Colnet, Stefan Mengel
Characterizing Tseitin-Formulas with Short Regular Resolution Refutations. J. Artif. Intell. Res. 76 (2023)
Alexis de Colnet, Stefan Mengel
Lower Bounds on Intermediate Results in Bottom-Up Knowledge Compilation. AAAI (2022)
Alexis de Colnet, Pierre Marquis
On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits. IJCAI (2022)
Alexis de Colnet, Pierre Marquis
On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits. ISAIM (2022)
Alexis de Colnet, Stefan Mengel
Characterizing Tseitin-formulas with short regular resolution refutations. CoRR (2021)
Alexis de Colnet
A Lower Bound on DNNF Encodings of Pseudo-Boolean Constraints. CoRR (2021)
Alexis de Colnet, Stefan Mengel
A Compilation of Succinctness Results for Arithmetic Circuits. KR (2021)
Alexis de Colnet, Stefan Mengel
Characterizing Tseitin-Formulas with Short Regular Resolution Refutations. SAT (2021)
Alexis de Colnet, Stefan Mengel
Lower Bounds on Intermediate Results in Bottom-Up Knowledge Compilation. CoRR (2021)
Alexis de Colnet, Stefan Mengel
A Compilation of Succinctness Results for Arithmetic Circuits. CoRR (2021)
Alexis de Colnet, Stefan Mengel
Lower Bounds for Approximate Knowledge Compilation. CoRR (2020)
Alexis de Colnet, Stefan Mengel
Lower Bounds for Approximate Knowledge Compilation. IJCAI (2020)
Alexis de Colnet
A Lower Bound on DNNF Encodings of Pseudo-Boolean Constraints. SAT (2020)
Alexis de Colnet, Kuldeep S. Meel
Dual Hashing-Based Algorithms for Discrete Integration. CP (2019)