×

zbMATH — the first resource for mathematics

Nightingale, Peter W.

Compute Distance To:
Author ID: nightingale.peter-w Recent zbMATH articles by "Nightingale, Peter W."
Published as: Nightingale, Peter; Nightingale, Peter W.
External Links: ORCID
Documents Indexed: 15 Publications since 2005

Publications by Year

Citations contained in zbMATH Open

14 Publications have been cited 44 times in 36 Documents Cited by Year
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
7
2017
Complexity of \(n\)-queens completion. Zbl 1418.68099
Gent, Ian P.; Jefferson, Christopher; Nightingale, Peter
5
2017
Implementing logical connectives in constraint programming. Zbl 1210.68103
Jefferson, Christopher; Moore, Neil C. A.; Nightingale, Peter; Petrie, Karen E.
5
2010
Generalised arc consistency for the AllDifferent constraint: an empirical survey. Zbl 1184.68472
Gent, Ian P.; Miguel, Ian; Nightingale, Peter
5
2008
Generating custom propagators for arbitrary constraints. Zbl 1405.68326
Gent, Ian P.; Jefferson, Christopher; Linton, Steve; Miguel, Ian; Nightingale, Peter
4
2014
Search in the patience game ‘Black Hole’. Zbl 1151.90525
Gent, Ian P.; Jefferson, Chris; Kelsey, Tom; Lynce, Inês; Miguel, Ian; Nightingale, Peter; Smith, Barbara M.; Tarim, S. Armagan
4
2007
Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings. Zbl 1109.68109
Frisch, Alan M.; Peugniez, Timothy J.; Doggett, Anthony J.; Nightingale, Peter W.
4
2005
Solving quantified constraint satisfaction problems. Zbl 1182.68241
Gent, Ian P.; Nightingale, Peter; Rowley, Andrew; Stergiou, Kostas
3
2008
Consistency for quantified constraint satisfaction problems. Zbl 1153.68471
Nightingale, Peter
2
2005
A review of literature on parallel constraint solving. Zbl 1452.68177
Gent, Ian P.; Miguel, Ian; Nightingale, Peter; McCreesh, Ciaran; Prosser, Patrick; Moore, Neil C. A.; Unsworth, Chris
1
2018
\(S\)-crucial and bicrucial permutations with respect to squares. Zbl 1327.05005
Gent, Ian; Kitaev, Sergey; Konovalov, Alexander; Linton, Steve; Nightingale, Peter
1
2015
Short and long supports for constraint propagation. Zbl 1261.68110
Nightingale, Peter; Gent, Ian P.; Jefferson, Christopher; Miguel, Ian
1
2013
The extended global cardinality constraint: an empirical survey. Zbl 1216.68250
Nightingale, Peter
1
2011
Non-binary quantified CSP: Algorithms and modelling. Zbl 1186.68441
Nightingale, Peter
1
2009
A review of literature on parallel constraint solving. Zbl 1452.68177
Gent, Ian P.; Miguel, Ian; Nightingale, Peter; McCreesh, Ciaran; Prosser, Patrick; Moore, Neil C. A.; Unsworth, Chris
1
2018
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
7
2017
Complexity of \(n\)-queens completion. Zbl 1418.68099
Gent, Ian P.; Jefferson, Christopher; Nightingale, Peter
5
2017
\(S\)-crucial and bicrucial permutations with respect to squares. Zbl 1327.05005
Gent, Ian; Kitaev, Sergey; Konovalov, Alexander; Linton, Steve; Nightingale, Peter
1
2015
Generating custom propagators for arbitrary constraints. Zbl 1405.68326
Gent, Ian P.; Jefferson, Christopher; Linton, Steve; Miguel, Ian; Nightingale, Peter
4
2014
Short and long supports for constraint propagation. Zbl 1261.68110
Nightingale, Peter; Gent, Ian P.; Jefferson, Christopher; Miguel, Ian
1
2013
The extended global cardinality constraint: an empirical survey. Zbl 1216.68250
Nightingale, Peter
1
2011
Implementing logical connectives in constraint programming. Zbl 1210.68103
Jefferson, Christopher; Moore, Neil C. A.; Nightingale, Peter; Petrie, Karen E.
5
2010
Non-binary quantified CSP: Algorithms and modelling. Zbl 1186.68441
Nightingale, Peter
1
2009
Generalised arc consistency for the AllDifferent constraint: an empirical survey. Zbl 1184.68472
Gent, Ian P.; Miguel, Ian; Nightingale, Peter
5
2008
Solving quantified constraint satisfaction problems. Zbl 1182.68241
Gent, Ian P.; Nightingale, Peter; Rowley, Andrew; Stergiou, Kostas
3
2008
Search in the patience game ‘Black Hole’. Zbl 1151.90525
Gent, Ian P.; Jefferson, Chris; Kelsey, Tom; Lynce, Inês; Miguel, Ian; Nightingale, Peter; Smith, Barbara M.; Tarim, S. Armagan
4
2007
Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings. Zbl 1109.68109
Frisch, Alan M.; Peugniez, Timothy J.; Doggett, Anthony J.; Nightingale, Peter W.
4
2005
Consistency for quantified constraint satisfaction problems. Zbl 1153.68471
Nightingale, Peter
2
2005
all top 5

Cited by 86 Authors

6 Nightingale, Peter W.
4 Carlsson, Mats
4 Gent, Ian Philip
3 Beldiceanu, Nicolas
3 Flener, Pierre
3 Jefferson, Christopher
3 Miguel, Ian
2 Akgün, Özgür
2 Björdal, Gustav
2 Douence, Rémi
2 Eiter, Thomas
2 Garcia de la Banda, Maria
2 Monette, Jean-Noël
2 Moore, Neil C. A.
2 Ogris, Paul
2 Pearson, Justin
2 Prud’homme, Charles
2 Schekotihin, Konstantin
2 Stuckey, Peter James
1 Alpert, Hannah
1 Audemard, Gilles
1 Banković, Milan
1 Boussemart, Frédéric
1 Brown, Kenneth N.
1 Brown, Tricia Muldoon
1 Candeago, Lorenzo
1 Chu, Geoffrey
1 Codish, Michael
1 Dekker, Jip J.
1 Demoen, Bart
1 Derrien, Alban
1 Deville, Yves
1 Dodaro, Carmine
1 Escamocher, Guillaume
1 Freuder, Eugene C.
1 Giesl, Jürgen
1 Gorbenko, A. A.
1 Gottlob, Georg
1 Greco, Gianluigi
1 Hooker, John N. jun.
1 Jussien, Narendra
1 Kis, Tamás
1 Kitaev, Sergey
1 Koriche, Frédéric
1 Kovács, András
1 Lagrue, Sylvain
1 Larraz, Daniel
1 Law, Yat Chiu
1 Lecoutre, Christophe
1 Lee, Jimmy Ho-man
1 Linton, Steve A.
1 Lombardi, Michele
1 Longpré, Luc
1 Lorca, Xavier
1 Mairy, Jean-Baptiste
1 McCreesh, Ciaran
1 McKenzie, Pierre
1 Mears, Christopher
1 Oliveras, Albert
1 O’Sullivan, Barry
1 Petrie, Karen E.
1 Philipp, Tobias
1 Piette, Cédric
1 Piette, Éric
1 Popov, Vladimir Yur’evich
1 Prosser, Patrick
1 Rodríguez-Carbonell, Enric
1 Roldán, Erika
1 Roussel, Olivier
1 Rubio, Albert
1 Scarcello, Francesco
1 Schaus, Pierre
1 Schneider-Kamp, Peter
1 Schütt, Andreas
1 Simonis, Helmut
1 Smith, Barbara M.
1 Spracklen, Patrick
1 Steinke, Peter
1 Stynes, David
1 Tabary, Sébastien
1 Thiemann, René
1 Unsworth, Chris
1 Van Cauwelaert, Sascha
1 Van Hentenryck, Pascal
1 van Hoeve, Willem-Jan
1 Zantema, Hans

Citations by Year