author-photo

Alexis de Colnet

Centre national de la recherche scientifique

10

Papers

5

Citations

Citation Trend

Filter By

Papers (7) Sort By

Journal Conference Others

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

2022 ISAIM | International Symposium on Artificial Intelligence and Mathematics
- Alexis de Colnet
- Pierre Marquis
Show All
- Source
- Cite
- Save
Citations (0)
A Compilation of Succinctness Results for Arithmetic Circuits

2021 KR | Principles of Knowledge Representation and Reasoning
- Alexis de Colnet
- Stefan Mengel
Show All
- Source
- Cite
- Save
Citations (0)
A Lower Bound on DNNF Encodings of Pseudo-Boolean Constraints.

2021 arXiv: Artificial Intelligence
- Alexis de Colnet
Show All
- Source
- Cite
- Save
Citations (0)
Characterizing Tseitin-formulas with short regular resolution refutations.

2021 arXiv: Computational Complexity
- Alexis de Colnet
- Stefan Mengel
Show All
- Source
- Cite
- Save
Citations (0)
Lower Bounds for Approximate Knowledge Compilation

2020 arXiv: Artificial Intelligence
- Alexis de Colnet
- Stefan Mengel
Show All
- Source
- Cite
- Save
Citations (0)
Correction to: Dual Hashing-Based Algorithms for Discrete Integration

2019 CP | Principles and Practice of Constraint Programming
- Alexis de Colnet
- Kuldeep S. Meel
Show All
- Source
- Cite
- Save
Citations (0)
Dual Hashing-Based Algorithms for Discrete Integration

2019 CP | Principles and Practice of Constraint Programming
- Alexis de Colnet
- Kuldeep S. Meel
Show All
- Source
- Cite
- Save
Citations (4)