Ignace Bleukx
3 papers
· 2023–2026
· 1 conference
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
Conferences
AAAI (3)
Top co-authors
Keywords
constraint programming
(2)
explainable ai
(1)
image interpretation
(1)
pattern recognition
(1)
constraint satisfaction
(1)
machine learning
(1)
algorithm optimization
(1)
minimal unsatisfiable subset
(1)
symmetry detection
(1)
constraint solver
(1)
branch-and-bound search
(1)
symmetry exploitation
(1)
mus computation
(1)
step-wise explanation
(1)
constraint solving
(1)
proof analysis
(1)