Research output per year
Research output per year
Search results
-
2023
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 AccessFile -
2022
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
-
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 AccessFile -
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 AccessFile -
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 AccessFile -
2021
Permutation group algorithms based on directed graphs
Jefferson, C., Pfeiffer, M., Wilson, W. A. & Waldecker, R., 1 Nov 2021, In: Journal of Algebra. 585, p. 723-758 36 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Strong external difference families in abelian and non-abelian groups
Huczynska, S., Jefferson, C. & Nepšinská, S., Mar 2021, In: Cryptography and Communications . 13, 2, p. 331–341 11 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Towards generic explanations for pen and paper puzzles with MUSes
Espasa Arxer, J., Gent, I. P., Hoffmann, R., Jefferson, C., McIlree, M. J. & Lynch, A. M., 2 Jul 2021, Proceedings of the SICSA eXplainable Artifical Intelligence Workshop 2021. Martin, K., Wiratunga, N. & Wijekoon, A. (eds.). p. 56-63 8 p. (CEUR Workshop Proceedings; vol. 2894).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
2019
Minimal and canonical images
Jefferson, C., Jonauskyte, E., Pfeiffer, M. & Waldecker, R., 1 Mar 2019, In: Journal of Algebra. 521, p. 481-506Research output: Contribution to journal › Article › peer-review
Open AccessFile