Christopher Jefferson
6 papers
· 2013–2026
· 2 conferences
· across top CS/AI conferences
Achievements
🏃
Academic Marathon
(10)
🌍
Conference Polyglot
(2)
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
🚀
Conference Pioneer
Conferences
IJCAI (5)
AAAI (1)
Top co-authors
Keywords
constraint programming
(4)
combinatorial optimization
(3)
constraint satisfaction
(3)
local search
(2)
symmetry breaking
(2)
search algorithm
(1)
discrete mathematics
(1)
automated reasoning
(1)
abstract data structure
(1)
model generation
(1)
essence language
(1)
abstract constraint
(1)
neighbourhood search
(1)
phase transition
(1)