Edit Profile (opens in new tab) Jefferson, Christopher Co-Author Distance Author ID: jefferson.christopher Published as: Jefferson, Christopher External Links: MGP · ORCID Documents Indexed: 23 Publications since 2005, including 4 Additional arXiv Preprints Co-Authors: 34 Co-Authors with 23 Joint Publications 358 Co-Co-Authors all top 5 Co-Authors 0 single-authored 7 Waldecker, Rebecca 6 Nightingale, Peter W. 5 Gent, Ian Philip 5 Miguel, Ian 5 Pfeiffer, Markus 4 Akgün, Özgür 4 Wilson, Wilf A. 3 Jeavons, Peter G. 3 Petrie, Karen E. 2 Chang, Mun See 2 Cohen, David A. 2 Smith, Barbara M. 1 Barakat, Mohamed 1 Behrends, Reimer 1 Enright, Jessica 1 Frisch, Alan M. 1 Green, Martin J. 1 Hähndel, Paula 1 Hoffmann, Ruth 1 Huczynska, Sophie 1 Jonauskyte, Eliza 1 Kühne, Lukas 1 Leuner, Martin 1 Linton, Stephen A. 1 McCreesh, Ciaran 1 Miguel, Angela 1 Moore, Neil C. A. 1 Nepšinská, Silvia 1 Prosser, Patrick 1 Roney-Dougal, Colva M. 1 Spracklen, Patrick 1 Tarim, S. Armagan 1 van Dongen, Marc R. C. 1 Zschaler, Steffen all top 5 Serials 4 Artificial Intelligence 3 Journal of Algebra 3 Journal of Symbolic Computation 2 The Journal of Artificial Intelligence Research (JAIR) 1 Computers & Operations Research 1 SIAM Journal on Discrete Mathematics 1 Annals of Mathematics and Artificial Intelligence 1 Constraints 1 Cryptography and Communications all top 5 Fields 13 Computer science (68-XX) 8 Group theory and generalizations (20-XX) 3 Combinatorics (05-XX) 2 Operations research, mathematical programming (90-XX) 1 Commutative algebra (13-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Convex and discrete geometry (52-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 17 Publications have been cited 102 times in 81 Documents Cited by ▼ Year ▼ Symmetry definitions for constraint satisfaction problems. Zbl 1103.68809 Cohen, David; Jeavons, Peter; Jefferson, Christopher; Petrie, Karen E.; Smith, Barbara M. 20 2006 Automatically improving constraint models in Savile Row. Zbl 1419.68099 Nightingale, Peter; Akgün, Özgür; Gent, Ian P.; Jefferson, Christopher; Miguel, Ian; Spracklen, Patrick 14 2017 Symmetry definitions for constraint satisfaction problems. Zbl 1153.68454 Cohen, David; Jeavons, Peter; Jefferson, Christopher; Petrie, Karen E.; Smith, Barbara M. 11 2005 Complexity of \(n\)-queens completion. Zbl 1418.68099 Gent, Ian P.; Jefferson, Christopher; Nightingale, Peter 7 2017 Minimal and canonical images. Zbl 1439.20001 Jefferson, Christopher; Jonauskyte, Eliza; Pfeiffer, Markus; Waldecker, Rebecca 7 2019 Implementing logical connectives in constraint programming. Zbl 1210.68103 Jefferson, Christopher; Moore, Neil C. A.; Nightingale, Peter; Petrie, Karen E. 7 2010 Permutation group algorithms based on directed graphs. Zbl 07373712 Jefferson, Christopher; Pfeiffer, Markus; Wilson, Wilf A.; Waldecker, Rebecca 7 2021 On the generation of rank 3 simple matroids with an application to Terao’s freeness conjecture. Zbl 1465.05025 Barakat, Mohamed; Behrends, Reimer; Jefferson, Christopher; Kühne, Lukas; Leuner, Martin 6 2021 Modelling and solving English peg solitaire. Zbl 1086.90070 Jefferson, Christopher; Miguel, Angela; Miguel, Ian; Tarim, S. Armagan 5 2006 Generating custom propagators for arbitrary constraints. Zbl 1405.68326 Gent, Ian P.; Jefferson, Christopher; Linton, Steve; Miguel, Ian; Nightingale, Peter 5 2014 New refiners for permutation group search. Zbl 1502.20002 Jefferson, Christopher; Pfeiffer, Markus; Waldecker, Rebecca 4 2019 Conjure: automatic generation of constraint models from problem specifications. Zbl 07570882 Akgün, Özgür; Frisch, Alan M.; Gent, Ian P.; Jefferson, Christopher; Miguel, Ian; Nightingale, Peter 2 2022 Computing normalisers of intransitive groups. Zbl 1517.20003 Chang, Mun See; Jefferson, Christopher; Roney-Dougal, Colva M. 2 2022 Representing and solving finite-domain constraint problems using systems of polynomials. Zbl 1272.68327 Jefferson, Christopher; Jeavons, Peter; Green, Martin J.; van Dongen, M. R. C. 2 2013 Perfect refiners for permutation group backtracking algorithms. Zbl 1514.20007 Jefferson, Christopher; Waldecker, Rebecca; Wilson, Wilf A. 1 2023 Strong external difference families in abelian and non-abelian groups. Zbl 1465.05021 Huczynska, Sophie; Jefferson, Christopher; Nepšinská, Silvia 1 2021 Disjoint direct product decompositions of permutation groups. Zbl 07379067 Chang, Mun See; Jefferson, Christopher 1 2022 Perfect refiners for permutation group backtracking algorithms. Zbl 1514.20007 Jefferson, Christopher; Waldecker, Rebecca; Wilson, Wilf A. 1 2023 Conjure: automatic generation of constraint models from problem specifications. Zbl 07570882 Akgün, Özgür; Frisch, Alan M.; Gent, Ian P.; Jefferson, Christopher; Miguel, Ian; Nightingale, Peter 2 2022 Computing normalisers of intransitive groups. Zbl 1517.20003 Chang, Mun See; Jefferson, Christopher; Roney-Dougal, Colva M. 2 2022 Disjoint direct product decompositions of permutation groups. Zbl 07379067 Chang, Mun See; Jefferson, Christopher 1 2022 Permutation group algorithms based on directed graphs. Zbl 07373712 Jefferson, Christopher; Pfeiffer, Markus; Wilson, Wilf A.; Waldecker, Rebecca 7 2021 On the generation of rank 3 simple matroids with an application to Terao’s freeness conjecture. Zbl 1465.05025 Barakat, Mohamed; Behrends, Reimer; Jefferson, Christopher; Kühne, Lukas; Leuner, Martin 6 2021 Strong external difference families in abelian and non-abelian groups. Zbl 1465.05021 Huczynska, Sophie; Jefferson, Christopher; Nepšinská, Silvia 1 2021 Minimal and canonical images. Zbl 1439.20001 Jefferson, Christopher; Jonauskyte, Eliza; Pfeiffer, Markus; Waldecker, Rebecca 7 2019 New refiners for permutation group search. Zbl 1502.20002 Jefferson, Christopher; Pfeiffer, Markus; Waldecker, Rebecca 4 2019 Automatically improving constraint models in Savile Row. Zbl 1419.68099 Nightingale, Peter; Akgün, Özgür; Gent, Ian P.; Jefferson, Christopher; Miguel, Ian; Spracklen, Patrick 14 2017 Complexity of \(n\)-queens completion. Zbl 1418.68099 Gent, Ian P.; Jefferson, Christopher; Nightingale, Peter 7 2017 Generating custom propagators for arbitrary constraints. Zbl 1405.68326 Gent, Ian P.; Jefferson, Christopher; Linton, Steve; Miguel, Ian; Nightingale, Peter 5 2014 Representing and solving finite-domain constraint problems using systems of polynomials. Zbl 1272.68327 Jefferson, Christopher; Jeavons, Peter; Green, Martin J.; van Dongen, M. R. C. 2 2013 Implementing logical connectives in constraint programming. Zbl 1210.68103 Jefferson, Christopher; Moore, Neil C. A.; Nightingale, Peter; Petrie, Karen E. 7 2010 Symmetry definitions for constraint satisfaction problems. Zbl 1103.68809 Cohen, David; Jeavons, Peter; Jefferson, Christopher; Petrie, Karen E.; Smith, Barbara M. 20 2006 Modelling and solving English peg solitaire. Zbl 1086.90070 Jefferson, Christopher; Miguel, Angela; Miguel, Ian; Tarim, S. Armagan 5 2006 Symmetry definitions for constraint satisfaction problems. Zbl 1153.68454 Cohen, David; Jeavons, Peter; Jefferson, Christopher; Petrie, Karen E.; Smith, Barbara M. 11 2005 all cited Publications top 5 cited Publications all top 5 Cited by 172 Authors 9 Jefferson, Christopher 7 Nightingale, Peter W. 6 Miguel, Ian 5 Garcia de la Banda, Maria 5 Gent, Ian Philip 5 Kühne, Lukas 5 Mears, Christopher 4 Akgün, Özgür 4 Carlsson, Mats 4 Flener, Pierre 4 Liberti, Leo 4 Schekotihin, Konstantin 4 Wallace, Mark G. 3 Beldiceanu, Nicolas 3 Demoen, Bart 3 Kapoor, Kalpesh 3 Pearson, Justin 3 Stuckey, Peter James 2 Barakat, Mohamed 2 Björdal, Gustav 2 Deb, Biswajit 2 Dimca, Alexandru 2 Eiter, Thomas 2 Gebser, Martin 2 Maglione, Joshua 2 Monette, Jean-Noël 2 Moore, Neil C. A. 2 Ogris, Paul 2 O’Sullivan, Barry 2 Roney-Dougal, Colva M. 2 Smith, Barbara M. 2 Spracklen, Patrick 2 Tarzariol, Alice 2 Ulrich-Oltean, Felix 2 Van Hentenryck, Pascal 2 Waldecker, Rebecca 2 Wilson, Wilf A. 1 Abe, Takuro 1 Agarwal, Udit 1 Ågren, Magnus 1 Alpert, Hannah 1 Altinakar, Sivan 1 Ansótegui, Carlos 1 Barrena, Eva 1 Bausch, Johannes 1 Behrends, Reimer 1 Béjar, Ramón 1 Benedikt, Ondřej 1 Benhamou, Belaid 1 Bharathi, Arpitha P. 1 Bofill, Miquel 1 Brown, Tricia Muldoon 1 Brysiewicz, Taylor 1 Bürgler, Josef 1 Cambazard, Hadrien 1 Canca, David 1 Caporossi, Gilles 1 Carlier, Jacques G. 1 Chang, Mun See 1 Chu, Geoffrey 1 Codish, Michael 1 Coll, Jordi 1 Cooper, Martin C. 1 Davis, Jesse 1 de Graaf, Willem Adriaan 1 De Raedt, Luc 1 Dekker, Jip J. 1 Derrien, Alban 1 Deville, Yves 1 Distler, Andreas 1 Dodaro, Carmine 1 Douence, Rémi 1 Douglas, Andrew S. 1 Dutour-Sikiric, Mathieu 1 Eble, Holger 1 Eick, Bettina 1 Escamocher, Guillaume 1 Escobedo, Adolfo R. 1 Falcón Ganfornina, Raúl Manuel 1 Feichtner, Eva Maria 1 Fernández, César C. 1 Fischetti, Matteo 1 Fontana, Urs 1 Freuder, Eugene C. 1 Frisch, Alan M. 1 Fux, Etienne 1 Gange, Graeme 1 Giesl, Jürgen 1 Glock, Stefan 1 Goldsztejn, Alexandre 1 Grayland, Andrew 1 Hanzálek, Zdeněk 1 Harabor, Daniel Damir 1 Hedetniemi, Jason T. 1 Hedetniemi, Stephen Travis 1 Hertz, Alain 1 Herzog, Florian 1 Holt, Derek F. 1 Hooker, John N. jun. 1 Huczynska, Sophie ...and 72 more Authors all top 5 Cited in 35 Serials 18 Constraints 10 Artificial Intelligence 4 Theory and Practice of Logic Programming 3 Mathematics of Computation 3 Journal of Algebra 2 Journal of Symbolic Computation 2 SIAM Journal on Discrete Mathematics 2 Annals of Mathematics and Artificial Intelligence 2 Oberwolfach Reports 2 Discrete Mathematics, Algorithms and Applications 1 Communications in Algebra 1 Computers & Mathematics with Applications 1 Discrete Applied Mathematics 1 Discrete Mathematics 1 Rocky Mountain Journal of Mathematics 1 The Mathematical Intelligencer 1 Journal of the London Mathematical Society. Second Series 1 Mathematics and Computers in Simulation 1 SIAM Journal on Computing 1 Graphs and Combinatorics 1 Discrete & Computational Geometry 1 Journal of Automated Reasoning 1 Machine Learning 1 European Journal of Operational Research 1 Mathematical Programming. Series A. Series B 1 The Journal of Artificial Intelligence Research (JAIR) 1 Séminaire Lotharingien de Combinatoire 1 Journal of Graph Algorithms and Applications 1 Journal of Discrete Mathematical Sciences & Cryptography 1 Journal of Integer Sequences 1 Journal of Commutative Algebra 1 Cryptography and Communications 1 Decision Analysis 1 Research in the Mathematical Sciences 1 Algebraic Combinatorics all top 5 Cited in 24 Fields 45 Computer science (68-XX) 23 Operations research, mathematical programming (90-XX) 22 Combinatorics (05-XX) 10 Group theory and generalizations (20-XX) 7 Convex and discrete geometry (52-XX) 5 Commutative algebra (13-XX) 5 Algebraic geometry (14-XX) 5 Several complex variables and analytic spaces (32-XX) 4 Number theory (11-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 General and overarching topics; collections (00-XX) 2 Mathematical logic and foundations (03-XX) 2 Probability theory and stochastic processes (60-XX) 2 Numerical analysis (65-XX) 2 Quantum theory (81-XX) 2 Information and communication theory, circuits (94-XX) 1 History and biography (01-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Associative rings and algebras (16-XX) 1 Nonassociative rings and algebras (17-XX) 1 Real functions (26-XX) 1 Geometry (51-XX) 1 Manifolds and cell complexes (57-XX) 1 Statistics (62-XX) Citations by Year