Prof Christopher Jefferson

Prof Christopher Jefferson

Professor

Researcher profile

Phone
+44 (0)1334 46 3272
Email
caj21@st-andrews.ac.uk
Office
C0.24
Location
Jack Cole Building (Computer Science )

 

Selected publications

  • Open access

    Breaking the symmetries of indistinguishable objects

    Akgun, O., Chang, M. S., Gent, I. P. & Jefferson, C. A., 2025, Integration of constraint programming, artificial intelligence, and operations research: 22nd international conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10–13, 2025, proceedings, Part I. Tack, G. (ed.). Cham: Springer, p. 152-168 (Lecture notes in computer science; vol. 15762).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Open access

    Composable constraint models for permutation enumeration

    Hoffmann, R., Akgun, O. & Jefferson, C., 22 Jan 2025, In: Discrete Mathematics & Theoretical Computer Science. 26, 1, 25 p.

    Research output: Contribution to journal › Article › peer-review

  • Open access

    TabID: automatic identification and tabulation of subproblems in constraint models

    Akgun, O., Gent, I. P., Jefferson, C. A., Kiziltan, Z., Miguel, I. J., Nightingale, P., Salamon, A. Z. & Ulrich-Oltean, F., 30 Mar 2025, In: Journal of Artificial Intelligence Research. 82, p. 1999-2056 58 p.

    Research output: Contribution to journal › Article › peer-review

  • Open access

    Understanding how players solve puzzles

    Lofaro, T., Hoffmann, R., Sturdee, M., Jefferson, C. & Lynch, A., 10 Aug 2025, p. 1-2. 2 p.

    Research output: Contribution to conference › Abstract

  • Open access

    Programming with GAP: Carpentries Incubator lesson (Version 4.0)

    Konovalov, O., Young, M., Jefferson, C. A., Horn, M., Mitchell, J. D. & Software Carpentry team, 30 Aug 2024, Zenodo.

    Research output: Other contribution

  • Open access

    Agent-based models of the cultural evolution of occupational gender roles

    Cross, C. P., Boothroyd, L. G. & Jefferson, C. A., 28 Jun 2023, In: Royal Society Open Science. 10, 6, 11 p., 221346.

    Research output: Contribution to journal › Article › peer-review

  • CONJURE: Automatic generation of constraint models from problem specifications (extended abstract)

    Akgün, Ö., Frisch, A. M., Gent, I. P., Jefferson, C., Miguel, I. & Nightingale, P., 19 Aug 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023). Elkind, E. (ed.). International Joint Conferences on Artificial Intelligence, p. 6833-6838 6 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2023-August).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Open access

    Perfect refiners for permutation group backtracking algorithms

    Jefferson, C., Waldecker, R. & Wilson, W. A., 1 Jan 2023, In: Journal of Symbolic Computation. 114, p. 18-36 19 p.

    Research output: Contribution to journal › Article › peer-review

  • Automatic tabulation in constraint models

    Akgün, Ö., Gent, I. P., Jefferson, C., Kiziltan, Z., Miguel, I., Nightingale, P., Salamon, A. Z. & Ulrich-Oltean, F., 26 Feb 2022, (Submitted) 51 p.

    Research output: Working paper › Preprint

  • Open access

    Computing normalisers of intransitive groups

    Chang, M. S., Jefferson, C. A. & Roney-Dougal, C. M., 1 Sept 2022, In: Journal of Algebra. 605, p. 429-458 30 p.

    Research output: Contribution to journal › Article › peer-review

 

See more publications