Christopher Jefferson
University of St Andrews
H-index: 24
Europe-United Kingdom
Top articles of Christopher Jefferson
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Computing canonical images in permutation groups with Graph Backtracking | Journal of Computational Algebra | Christopher Jefferson Rebecca Waldecker Wilf A Wilson | 2023/12/1 |
Composable Constraint Models for Permutation Enumeration | arXiv preprint arXiv:2311.17581 | Ruth Hoffmann Özgür Akgün Christopher Jefferson | 2023/11/29 |
Agent-based models of the cultural evolution of occupational gender roles | Royal Society Open Science | CP Cross LG Boothroyd CA Jefferson | 2023/6/28 |
Perfect refiners for permutation group backtracking algorithms | Journal of Symbolic Computation | Christopher Jefferson Rebecca Waldecker Wilf A Wilson | 2023/1/1 |
Computing normalisers of intransitive groups | Journal of Algebra | Mun See Chang Christopher Jefferson Colva M Roney-Dougal | 2022/9/1 |
Automatic tabulation in constraint models | arXiv preprint arXiv:2202.13250 | Özgür Akgün Ian P Gent Christopher Jefferson Zeynep Kiziltan Ian Miguel | 2022/2/26 |
Disjoint direct product decompositions of permutation groups | Journal of Symbolic Computation | Mun See Chang Christopher Jefferson | 2022/1/1 |
Conjure: Automatic generation of constraint models from problem specifications | Artificial Intelligence | Özgür Akgün Alan M Frisch Ian P Gent Christopher Jefferson Ian Miguel | 2022/9/1 |
An exact formula for percolation on higher-order cycles | arXiv preprint arXiv:2102.09261 | Peter Mann V Anne Smith John Mitchell Christopher Jefferson Simon Dobson | 2021/2/18 |
Exact formula for bond percolation on cliques | Physical Review E | Peter Mann V Anne Smith John BO Mitchell Christopher Jefferson Simon Dobson | 2021/8/4 |
On the generation of rank 3 simple matroids with an application to Terao's freeness conjecture | SIAM Journal on Discrete Mathematics | Mohamed Barakat Reimer Behrends Christopher Jefferson Lukas Kühne Martin Leuner | 2021 |
Towards generic explanations for pen and paper puzzles with MUSes | Joan Espasa Ian P Gent Ruth Hoffmann Christopher Jefferson Matthew McIlree | 2021/7/2 | |
Finding subgraphs with side constraints | Özgür Akgün Jessica Enright Christopher Jefferson Ciaran McCreesh Patrick Prosser | 2021/6/17 | |
Using small MUSes to explain how to solve pen and paper puzzles | Joan Espasa Arxer Ian P Gent Ruth Hoffmann Christopher Jefferson Alice M Lynch | 2021/4/30 | |
Towards reformulating Essence specifications for robustness | arXiv preprint arXiv:2111.00821 | Özgür Akgün Alan M Frisch Ian P Gent Christopher Jefferson Ian Miguel | 2021/11/1 |
Strong external difference families in abelian and non-abelian groups | Cryptography and Communications | Sophie Huczynska Christopher Jefferson Silvia Nepšinská | 2021/3 |
Permutation group algorithms based on directed graphs | Journal of Algebra | Christopher Jefferson Markus Pfeiffer Wilf A Wilson Rebecca Waldecker | 2021/11/1 |