Prof Christopher Jefferson
Professor
- Phone
- +44 (0)1334 46 3272
- caj21@st-andrews.ac.uk
- Office
- C0.24
- Location
- Jack Cole Building (Computer Science )
Selected publications
-
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
-
Composable constraint models for permutation enumeration
Hoffmann, R., Akgun, O. & Jefferson, C. A., 29 Nov 2023, arXiv, 13 p.Research output: Working paper › Preprint
-
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
CONJURE: automatic generation of constraint models from problem specifications
Akgun, O., Frisch, A. M., Gent, I. P., Jefferson, C., Miguel, I. J. & Nightingale, P., 1 Sept 2022, In: Artificial Intelligence. 310, 27 p., 103751.Research output: Contribution to journal › Article › peer-review
-
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
-
Open access
Disjoint direct product decompositions of permutation groups
Chang, M. S. & Jefferson, C. A., Jan 2022, In: Journal of Symbolic Computation. 108, p. 1-16Research output: Contribution to journal › Article › peer-review
-
Open access
Exact formula for bond percolation on cliques
Mann, P. S., Smith, V. A., Mitchell, J. B. O., Jefferson, C. A. & Dobson, S. A., 4 Aug 2021, In: Physical Review E - Statistical, Nonlinear, and Soft Matter Physics. 104, 2, 10 p., 024304 .Research output: Contribution to journal › Article › peer-review
-
Open access
Finding subgraphs with side constraints
Akgün, Ö., Enright, J., Jefferson, C., McCreesh, C., Prosser, P. & Zschaler, S., 5 Jul 2021, Integration of constraint programming, artificial intelligence, and operations research - 18th international conference, CPAIOR 2021, proceedings. Stuckey, P. J. (ed.). Cham: Springer, p. 348-364 17 p. (Lecture notes in computer science (including subseries Lecture notes in artificial intelligence and Lecture notes in bioinformatics); vol. 12735).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution