Alexis de Colnet
6 papers · 2020–2024 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🐝 Cross-Pollinator (15) 🧭 Keyword Pioneer 🌍 Conference Polyglot (2) 🌉 Interdisciplinary Bridge 🌈 Renaissance Researcher (5)
🐣
Hot Topic Early Bird
🏆
Keyword Champion
(2)
Conferences
IJCAI (4)
AAAI (2)
Top co-authors
Keywords
knowledge compilation
(3)
explainable ai
(2)
circuit complexity
(2)
decision tree
(1)
binary classifier
(1)
sat solver
(1)
binary decision diagram
(1)
propositional logic
(1)
conflict-driven clause learning
(1)
model translation
(1)
polynomial-time translation
(1)
representation language
(1)
abductive explanation
(1)
fixed-parameter tractable
(1)
model counting
(1)
circuit compilation
(1)
sufficient reason
(1)
prime implicant
(1)
exponential lower bound
(1)
resolution refutation
(1)
Papers
Hardness of Random Reordered Encodings of Parity for Resolution and CDCL
AAAI 2024
Compilation and Fast Model Counting beyond CNF
IJCAI 2024
On Translations between ML Models for XAI Purposes
IJCAI 2023
Lower Bounds on Intermediate Results in Bottom-Up Knowledge Compilation
AAAI 2022
On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits
IJCAI 2022
Lower Bounds for Approximate Knowledge Compilation
IJCAI 2020