Alexis de Colnet
6 papers
· 2020–2024
· 2 conferences
· across top CS/AI conferences
Achievements
🐝
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)