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 )

 

PhD supervision

  • Alice Lynch
  • Laura Johnson

Selected publications

  • 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 journalArticlepeer-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 paperPreprint

  • 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., Sep 2022, In: Artificial Intelligence. 310, 27 p., 103751.

    Research output: Contribution to journalArticlepeer-review

  • Open access

    Computing normalisers of intransitive groups

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

    Research output: Contribution to journalArticlepeer-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-16

    Research output: Contribution to journalArticlepeer-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 journalArticlepeer-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 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Open access

    On the generation of rank 3 simple matroids with an application to Terao's freeness conjecture

    Barakat, M., Behrends, R., Jefferson, C., Kühne, L. & Leuner, M., 8 Jun 2021, In: SIAM Journal on Discrete Mathematics. 35, 2, p. 1201-1223 23 p.

    Research output: Contribution to journalArticlepeer-review

  • Open access

    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 journalArticlepeer-review

  • Open access

    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 journalArticlepeer-review

 

See more publications