×

Jefferson, Christopher

Compute Distance To:
Author ID: jefferson.christopher Recent zbMATH articles by "Jefferson, Christopher"
Published as: Jefferson, Christopher
External Links: MGP · ORCID
Documents Indexed: 16 Publications since 2005
Co-Authors: 29 Co-Authors with 16 Joint Publications
230 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

10 Publications have been cited 57 times in 53 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.
15
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
9
2017
Symmetry definitions for constraint satisfaction problems. Zbl 1153.68454
Cohen, David; Jeavons, Peter; Jefferson, Christopher; Petrie, Karen E.; Smith, Barbara M.
6
2005
Complexity of \(n\)-queens completion. Zbl 1418.68099
Gent, Ian P.; Jefferson, Christopher; Nightingale, Peter
6
2017
Implementing logical connectives in constraint programming. Zbl 1210.68103
Jefferson, Christopher; Moore, Neil C. A.; Nightingale, Peter; Petrie, Karen E.
5
2010
Modelling and solving English peg solitaire. Zbl 1086.90070
Jefferson, Christopher; Miguel, Angela; Miguel, Ian; Tarim, S. Armagan
5
2006
Minimal and canonical images. Zbl 1439.20001
Jefferson, Christopher; Jonauskyte, Eliza; Pfeiffer, Markus; Waldecker, Rebecca
4
2019
Generating custom propagators for arbitrary constraints. Zbl 1405.68326
Gent, Ian P.; Jefferson, Christopher; Linton, Steve; Miguel, Ian; Nightingale, Peter
4
2014
New refiners for permutation group search. Zbl 06997076
Jefferson, Christopher; Pfeiffer, Markus; Waldecker, Rebecca
2
2019
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
1
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
1
2021
Minimal and canonical images. Zbl 1439.20001
Jefferson, Christopher; Jonauskyte, Eliza; Pfeiffer, Markus; Waldecker, Rebecca
4
2019
New refiners for permutation group search. Zbl 06997076
Jefferson, Christopher; Pfeiffer, Markus; Waldecker, Rebecca
2
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
9
2017
Complexity of \(n\)-queens completion. Zbl 1418.68099
Gent, Ian P.; Jefferson, Christopher; Nightingale, Peter
6
2017
Generating custom propagators for arbitrary constraints. Zbl 1405.68326
Gent, Ian P.; Jefferson, Christopher; Linton, Steve; Miguel, Ian; Nightingale, Peter
4
2014
Implementing logical connectives in constraint programming. Zbl 1210.68103
Jefferson, Christopher; Moore, Neil C. A.; Nightingale, Peter; Petrie, Karen E.
5
2010
Symmetry definitions for constraint satisfaction problems. Zbl 1103.68809
Cohen, David; Jeavons, Peter; Jefferson, Christopher; Petrie, Karen E.; Smith, Barbara M.
15
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.
6
2005
all top 5

Cited by 133 Authors

6 Jefferson, Christopher
5 Nightingale, Peter W.
4 Carlsson, Mats
4 Flener, Pierre
4 Garcia de la Banda, Maria
4 Gent, Ian Philip
4 Mears, Christopher
4 Miguel, Ian
3 Beldiceanu, Nicolas
3 Kapoor, Kalpesh
3 Pearson, Justin
3 Stuckey, Peter James
3 Wallace, Mark G.
2 Akgün, Özgür
2 Björdal, Gustav
2 Deb, Biswajit
2 Demoen, Bart
2 Eiter, Thomas
2 Liberti, Leo
2 Monette, Jean-Noël
2 Moore, Neil C. A.
2 Ogris, Paul
2 O’Sullivan, Barry
2 Schekotihin, Konstantin
2 Smith, Barbara M.
2 Van Hentenryck, Pascal
1 Abe, Takuro
1 Agarwal, Udit
1 Ågren, Magnus
1 Alpert, Hannah
1 Altinakar, Sivan
1 Ansótegui, Carlos
1 Bausch, Johannes
1 Behrends, Reimer
1 Béjar, Ramón
1 Benedikt, Ondřej
1 Bofill, Miquel
1 Brown, Tricia Muldoon
1 Bürgler, Josef
1 Cambazard, Hadrien
1 Caporossi, Gilles
1 Carlier, Jacques G.
1 Chu, Geoffrey
1 Codish, Michael
1 Coll, Jordi
1 Cooper, Martin C.
1 de Graaf, Willem Adriaan
1 Dekker, Jip J.
1 Derrien, Alban
1 Deville, Yves
1 Dimca, Alexandru
1 Distler, Andreas
1 Dodaro, Carmine
1 Douence, Rémi
1 Douglas, Andrew S.
1 Escamocher, Guillaume
1 Feichtner, Eva Maria
1 Fernández, César C.
1 Fischetti, Matteo
1 Fontana, Urs
1 Freuder, Eugene C.
1 Fux, Etienne
1 Gange, Graeme
1 Giesl, Jürgen
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 Hooker, John N. jun.
1 Huczynska, Sophie
1 Jefferson, Chris
1 Jermann, Christophe
1 Jouglet, Antoine
1 Kelsey, Tom
1 Kitaev, Sergey
1 Koenig, Sven
1 Köhler, Jana
1 Konev, Boris
1 Kühne, Lukas
1 Leditzky, Felix
1 Leuner, Martin
1 Li, Jiaoyang
1 Linton, Steve A.
1 Lisitsa, Alexei
1 Lombardi, Michele
1 Ma, Hang
1 Mairy, Jean-Baptiste
1 Mateu, Carles
1 McCreesh, Ciaran
1 Mereb, Martin
1 Meseguer, Pedro
1 Módos, István
1 Nepšinská, Silvia
1 Ontañón, Santiago
1 Pati, Sukanta
1 Petrie, Karen E.
...and 33 more Authors

Citations by Year