Computer Science @ University of St Andrews

University of St Andrews crest

Dr Chris Jefferson

Dr Chris Jefferson

Position: Reader

Research profile

Email (@st-andrews.ac.uk): caj21

Office: JC0.24 - Jack Cole Building, North Haugh

Phone: +44 (0)1334 46 3272

Home page: https://caj.host.cs.st-andrews.ac.uk

Recent Publications

Automatically improving constraint models in Savile Row

Complexity of n-Queens Completion

Orbital Graphs

Minimal and canonical images

New refiners for permutation group search

Exploiting short supports for improved encoding of arbitrary constraints into SAT

Akgün, Ö, Gent, IP, Jefferson, CA, Miguel, IJ & Nightingale, PW 2016, Exploiting short supports for improved encoding of arbitrary constraints into SAT. in M Rueher (ed.), Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. Lecture Notes in Computer Science, vol. 9892, Springer, pp. 3-12, 22nd International Conference on Principles and Practice of Constraint Programming (CP 2016), Toulouse, France, 5-9 September. DOI: 10.1007/978-3-319-44953-1_1

Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination

Nightingale, P, Akgun, O, Gent, IP, Jefferson, C & Miguel, I 2014, Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination. in B OSullivan (ed.), Principles and Practice of Constraint Programming. Lecture Notes in Computer Science, vol. 8656, Springer, Cham, pp. 590-605, 20th International Conference on the Principles and Practice of Constraint Programming (CP 2014), France, 8-12 September. DOI: 10.1007/978-3-319-10428-7_43

Generating custom propagators for arbitrary constraints

Qualitative modelling via constraint programming

Discriminating instance generation for automated constraint model selection

Gent, IP, Hussain, BS, Jefferson, C, Kotthoff, L, Miguel, I, Nightingale, GF & Nightingale, P 2014, Discriminating instance generation for automated constraint model selection. in Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Proceedings. vol. 8656 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8656 LNCS, Springer-Verlag, pp. 356-365, 20th International Conference on the Principles and Practice of Constraint Programming, CP 2014, Lyon, France, 8-12 September. DOI: 10.1007/978-3-319-10428-7_27