Christopher Jefferson
6 papers · 2013–2026 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🏃
Academic Marathon · Half
🚀
Conference Pioneer
Top co-authors
Research topics
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