Concepedia

Christopher Jefferson

CJ

21

Publications

1.2K

Citations

17

H-Index

2004

Active since

Affiliations

University of St Andrews(Current)

University of Oxford

University of York

University College Cork

Christopher Jefferson is an author at University of St Andrews specializing in engineering, computer science, and combinatorial optimization.

Top concepts

EngineeringComputer ScienceCombinatorial OptimizationAutomated ReasoningMathematical ProgrammingFormal MethodsComputational ComplexityData ScienceGamesGame Theory

Publications per year

2004–2022

21

Publications

21

MINION: A Fast, Scalable, Constraint Solver

Ian P. Gent, Christopher Jefferson, Ian Miguel · 2006 · 249 citations

Essence: A constraint language for specifying combinatorial problems

Alan M. Frisch, Warwick Harvey, Christopher Jefferson et al. · Constraints · 2008 · 148 citations

Constraint Solving, Engineering, Constraint Satisfaction +6

Symmetry Definitions for Constraint Satisfaction Problems

David A. Cohen, Peter Jeavons, Christopher Jefferson et al. · Constraints · 2006 · 97 citations

Mathematical Programming, Symmetry Definitions, Constraint Solving +6

The design of ESSENCE: a constraint language for specifying combinatorial problems

Alan M. Frisch, Matthew Grum, Christopher Jefferson et al. · 2007 · 89 citations

Data structures for generalised arc consistency for extensional constraints

Ian P. Gent, Christopher Jefferson, Ian Miguel et al. · 2007 · 70 citations

Rows per page

1–5 of 21