Christopher Jefferson
6 papers · 2013–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🏃
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)
Papers
Faster Symmetry Breaking Constraints for Abstract Structures
AAAI 2026
Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract)
IJCAI 2023
Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence
IJCAI 2019
A Framework for Constraint Based Local Search using Essence
IJCAI 2018
Complexity of n-Queens Completion (Extended Abstract)
IJCAI 2018
Extending Simple Tabular Reduction with Short Supports
IJCAI 2013