Alexis de Colnet

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

Collaborative distances:

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

2026

Quadratic Sums-of-Powers for Fixed-Parameter Tractable Quantum-Circuit Simulation.

Alexis de Colnet, Floris Geerts, Rihan Hai, Alfons Laarman, Joon Hyung Lee, Guillermo A. Pérez

CoRR, May, 2026

From Tensor Networks to Tractable Circuits, and back.

Arend-Jan Quist, Marc Farreras Bartra, Alexis de Colnet, John van de Wetering, Alfons Laarman

CoRR, May, 2026

The Compilability Thresholds of 2-CNF to OBDD.

Alexis de Colnet, Alfons Laarman, Joon Hyung Lee

CoRR, March, 2026

Counting and Sampling Traces in Regular Languages.

Alexis de Colnet, Kuldeep S. Meel, Umang Mathur

Proc. ACM Program. Lang., 2026

OBDDs, SDDs, and circuits of bounded width: Completeness matters.

Alexis de Colnet, Sebastian Ordyniak, Stefan Szeider

Artif. Intell., 2026

#CFG and #DNNF admit FPRAS.

Kuldeep S. Meel, Alexis de Colnet

Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms, 2026

2025

Towards Practical FPRAS for #NFA: Exploiting the Power of Dependence.

Kuldeep S. Meel, Alexis de Colnet

Proc. ACM Manag. Data, May, 2025

An FPRAS for Model Counting for Non-Deterministic Read-Once Branching Programs.

Kuldeep S. Meel, Alexis de Colnet

Proceedings of the 28th International Conference on Database Theory, 2025

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

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

Characterizing Tseitin-Formulas with Short Regular Resolution Refutations.

Alexis de Colnet, Stefan Mengel

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 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