Alexis de Colnet

According to our database, Alexis de Colnet authored at least 16 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

#CFG and #DNNF admit FPRAS.

Kuldeep S. Meel, Alexis de Colnet

CoRR, 2024

An FPRAS for #nFBDD.

Kuldeep S. Meel, Alexis de Colnet

CoRR, 2024

On the Relative Efficiency of Dynamic and Static Top-Down Compilation to Decision-DNNF.

Alexis de Colnet

Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024

ASP-QRAT: A Conditionally Optimal Dual Proof System for ASP.

Leroy Chew, Alexis de Colnet, Stefan Szeider

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

Compilation and Fast Model Counting beyond CNF.

Alexis de Colnet, Stefan Szeider, Tianwei Zhang

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

Hardness of Random Reordered Encodings of Parity for Resolution and CDCL.

Leroy Chew, Alexis de Colnet, Friedrich Slivovsky, Stefan Szeider

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Dataset of Random Reordered Encodings of Parity Problems.

Leroy Chew, Alexis de Colnet, Friedrich Slivovsky, Stefan Szeider

Dataset, December, 2023

Characterizing Tseitin-Formulas with Short Regular Resolution Refutations.

Alexis de Colnet, Stefan Mengel

J. Artif. Intell. Res., 2023

Separating Incremental and Non-Incremental Bottom-Up Compilation.

Alexis de Colnet

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

On Translations between ML Models for XAI Purposes.

Alexis de Colnet, Pierre Marquis

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits.

Alexis de Colnet, Pierre Marquis

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Lower Bounds on Intermediate Results in Bottom-Up Knowledge Compilation.

Alexis de Colnet, Stefan Mengel

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

A Compilation of Succinctness Results for Arithmetic Circuits.

Alexis de Colnet, Stefan Mengel

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

2020

A Lower Bound on DNNF Encodings of Pseudo-Boolean Constraints.

Alexis de Colnet

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

Lower Bounds for Approximate Knowledge Compilation.

Alexis de Colnet, Stefan Mengel

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

2019

Dual Hashing-Based Algorithms for Discrete Integration.

Alexis de Colnet, Kuldeep S. Meel

Proceedings of the Principles and Practice of Constraint Programming, 2019