Research output per year
Research output per year
Personal profile
Profile Keywords
Game AI, Constraint Programming, Computational Group Theory, Search
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Fingerprint
Dive into the research topics where Christopher Anthony Jefferson is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
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
Open AccessFile2 Citations (Scopus)19 Downloads (Pure) -
Composable constraint models for permutation enumeration
Hoffmann, R., Akgun, O. & Jefferson, C. A., 29 Nov 2023, arXiv, 13 p.Research output: Working paper › Preprint
-
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
-
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
Open AccessFile1 Citation (Scopus)17 Downloads (Pure) -
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
Datasets
-
Computing normalisers of highly intransitive groups (thesis data)
Chang, M. S. (Creator), Jefferson, C. A. (Supervisor) & Roney-Dougal, C. M. (Supervisor), University of St Andrews, 21 Apr 2021
DOI: 10.17630/710dfd8d-356b-4080-b2ad-c6791b7c21fe
Dataset: Thesis dataset
File -
GAP – Groups, Algorithms, and Programming, Version 4.8.4
The GAP Group (Creator), Breuer, T. (Creator), Horn, M. (Creator), Hulpke, A. (Creator), Jefferson, C. A. (Creator), Konovalov, O. (Creator), Linton, S. A. (Creator), Lübeck, F. (Creator), Mitchell, J. D. (Creator), Pfeiffer, M. J. (Creator) & Young, M. (Creator), GAP - Groups, Algorithms, Programming, 2016
https://www.gap-system.org/Releases/4.8.4.html and one more link, https://github.com/gap-system/gap/releases/tag/v4.8.4 (show fewer)
Dataset: Software
-
Automatic discovery and exploitation of promising subproblems for tabulation (dataset)
Akgun, O. (Creator), Gent, I. P. (Creator), Jefferson, C. A. (Creator), Miguel, I. J. (Creator), Nightingale, P. W. (Creator) & Salamon, A. Z. (Creator), GitHub, 3 Jul 2018
https://github.com/stacs-cp/cp2018-tabulation
Dataset
-
GAP – Groups, Algorithms, and Programming, Version 4.8.10
The GAP Group (Creator), Breuer, T. (Creator), Horn, M. (Creator), Hulpke, A. (Creator), Jefferson, C. A. (Creator), Konovalov, O. (Creator), Linton, S. A. (Creator), Lübeck, F. (Creator), Mitchell, J. D. (Creator), Pfeiffer, M. J. (Creator), Siccha, S. (Creator) & Young, M. (Creator), GAP - Groups, Algorithms, Programming, 2018
https://www.gap-system.org/Releases/4.8.10.html and one more link, https://github.com/gap-system/gap/releases/tag/v4.8.10 (show fewer)
Dataset: Software
-
GAP – Groups, Algorithms, and Programming, Version 4.9.1
The GAP Group (Creator), Behrends, R. (Creator), Breuer, T. (Creator), Horn, M. (Creator), Hulpke, A. (Creator), Jefferson, C. A. (Creator), Konovalov, O. (Creator), Linton, S. A. (Creator), Lübeck, F. (Creator), Mitchell, J. D. (Creator), Pfeiffer, M. J. (Creator), Siccha, S. (Creator) & Young, M. (Creator), GAP - Groups, Algorithms, Programming, 2018
https://www.gap-system.org/Releases/4.9.1.html and one more link, https://github.com/gap-system/gap/releases/tag/v4.9.1 (show fewer)
Dataset: Software
Projects
- 5 Finished
-
A Learning, Optimising Compiler: A Learning, Optimising Compiler for Computational Group Theory
Jefferson, C. A. (PI)
1/10/18 → 28/02/22
Project: Fellowship
-
RS Research Fellowship Renewal: RS Research Fellowship Renewal
Jefferson, C. A. (PI)
1/10/18 → 31/03/22
Project: Fellowship
-
Modelling and Optimisation with Graphs: Modelling and Optimisation with Graphs
Jefferson, C. A. (PI) & Akgun, O. (CoI)
1/07/17 → 31/10/20
Project: Standard
-
Combining Constraints and Verification: Combining Constraints and Verification
Jefferson, C. A. (PI)
31/07/14 → 30/07/17
Project: Standard
-
University Research Fellowship 2013: University Research Fellowship 2013
Jefferson, C. A. (PI)
1/10/13 → 30/09/18
Project: Fellowship
Activities
- 1 Participation in or organising a public festival/exhibition/event
-
Doors Open @ Computer Science 2023
Hoffmann, R. (Chair of organising committee), Ross, K. (Member of organising committee), Boyd, K. M. (Member of organising committee), Miller, A. H. D. (Participant), Miguel, A. R. (Participant), Varghese, B. (Participant), Brown, C. M. (Participant), Jefferson, C. A. (Participant), Harris-Birtill, D. C. C. (Participant), Balasubramaniam, D. (Participant), Brady, E. C. (Participant), Kirby, G. N. C. (Participant), Gent, I. P. (Participant), Jacques, J. T. (Participant), Espasa Arxer, J. (Participant), Ye, J. (Participant), Terzic, K. (Participant), Fang, L. (Participant), Nederhof, M. J. (Participant), Young, M. (Participant), Dang, N. T. T. (Participant), Konovalov, O. (Participant), Akgun, O. (Participant), Connor, R. (Participant), Dearle, A. (Participant), Filgueira, R. (Participant), Zhu, X. (Participant), Bhatti, S. (Participant), Dobson, S. A. (Participant), Mann, P. S. (Participant), Sarkar, S. (Participant), Kelsey, T. (Participant) & Spink, T. (Participant)
11 Apr 2023Activity: Participating in or organising an event types › Participation in or organising a public festival/exhibition/event
Prizes
-
Hidden REF 2021 - Practices
Konovalov, O. (Recipient), Young, M. (Recipient) & Jefferson, C. A. (Recipient), 2021
Prize: Other distinction