×

Jefferson, Christopher

Author ID: jefferson.christopher Recent zbMATH articles by "Jefferson, Christopher"
Published as: Jefferson, Christopher
External Links: MGP · ORCID

Publications by Year

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

Citations by Year