Alexis de Colnet

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

Collaborative distances:

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

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

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 International Symposium on Artificial Intelligence and Mathematics 2022 (ISAIM 2022), 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