×

zbMATH — the first resource for mathematics

Miguel, Ian

Compute Distance To:
Author ID: miguel.ian Recent zbMATH articles by "Miguel, Ian"
Published as: Miguel, I.; Miguel, Ian
External Links: ORCID
Documents Indexed: 23 Publications since 2001

Publications by Year

Citations contained in zbMATH Open

21 Publications have been cited 94 times in 72 Documents Cited by Year
Essence: A constraint language for specifying combinatorial problems. Zbl 1147.68424
Frisch, Alan M.; Harvey, Warwick; Jefferson, Chris; Martínez-Hernández, Bernadette; Miguel, Ian
16
2008
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
Propagation algorithms for lexicographic ordering constraints. Zbl 1131.68521
Frisch, Alan M.; Hnich, Brahim; Kiziltan, Zeynep; Miguel, Ian; Walsh, Toby
7
2006
Constraints for breaking more row and column symmetries. Zbl 1273.68075
Frisch, Alan M.; Jefferson, Chris; Miguel, Ian
7
2003
A hybrid Benders’ decomposition method for solving stochastic constraint programs with linear recourse. Zbl 1180.68252
Tarim, S. Armagan; Miguel, Ian
6
2006
The temporal knapsack problem and its solution. Zbl 1133.68425
Bartlett, Mark; Frisch, Alan M.; Hamadi, Youssef; Miguel, Ian; Tarim, S. Armagan; Unsworth, Chris
6
2005
Generalised arc consistency for the AllDifferent constraint: an empirical survey. Zbl 1184.68472
Gent, Ian P.; Miguel, Ian; Nightingale, Peter
5
2008
Conditional symmetry breaking. Zbl 1153.68459
Gent, Ian P.; Kelsey, Tom; Linton, Steve A.; McDonald, Iain; Miguel, Ian; Smith, Barbara M.
5
2005
CGRASS: A system for transforming constraint satisfaction problems. Zbl 1023.68668
Frisch, Alan M.; Miguel, Ian; Walsh, Toby
5
2003
Constraint generation via automated theory formation. Zbl 1067.68622
Colton, Simon; Miguel, Ian
5
2001
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
Modelling and solving English peg solitaire. Zbl 1086.90070
Jefferson, Christopher; Miguel, Angela; Miguel, Ian; Tarim, S. Armagan
4
2006
Filtering algorithms for the multiset ordering constraint. Zbl 1191.68633
Frisch, Alan M.; Hnich, Brahim; Kiziltan, Zeynep; Miguel, Ian; Walsh, Toby
2
2009
Hybrid modelling for robust solving. Zbl 1156.90474
Hnich, Brahim; Kiziltan, Zeynep; Miguel, Ian; Walsh, Toby
2
2004
Fuzzy \(rr\)DFCSP and planning. Zbl 1082.68810
Miguel, Ian; Shen, Qiang
2
2003
Solution techniques for constraint satisfaction problems: Advanced approaches. Zbl 0974.68042
Miguel, I.; Shen, Q.
2
2001
Solution techniques for constraint satisfaction problems: Foundations. Zbl 0976.68144
Miguel, I.; Shen, Q.
2
2001
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
Short and long supports for constraint propagation. Zbl 1261.68110
Nightingale, Peter; Gent, Ian P.; Jefferson, Christopher; Miguel, Ian
1
2013
Minimal ordering constraints for some families of variable symmetries. Zbl 1205.68375
Grayland, Andrew; Jefferson, Chris; Miguel, Ian; Roney-Dougal, Colva M.
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
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
Filtering algorithms for the multiset ordering constraint. Zbl 1191.68633
Frisch, Alan M.; Hnich, Brahim; Kiziltan, Zeynep; Miguel, Ian; Walsh, Toby
2
2009
Minimal ordering constraints for some families of variable symmetries. Zbl 1205.68375
Grayland, Andrew; Jefferson, Chris; Miguel, Ian; Roney-Dougal, Colva M.
1
2009
Essence: A constraint language for specifying combinatorial problems. Zbl 1147.68424
Frisch, Alan M.; Harvey, Warwick; Jefferson, Chris; Martínez-Hernández, Bernadette; Miguel, Ian
16
2008
Generalised arc consistency for the AllDifferent constraint: an empirical survey. Zbl 1184.68472
Gent, Ian P.; Miguel, Ian; Nightingale, Peter
5
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
Propagation algorithms for lexicographic ordering constraints. Zbl 1131.68521
Frisch, Alan M.; Hnich, Brahim; Kiziltan, Zeynep; Miguel, Ian; Walsh, Toby
7
2006
A hybrid Benders’ decomposition method for solving stochastic constraint programs with linear recourse. Zbl 1180.68252
Tarim, S. Armagan; Miguel, Ian
6
2006
Modelling and solving English peg solitaire. Zbl 1086.90070
Jefferson, Christopher; Miguel, Angela; Miguel, Ian; Tarim, S. Armagan
4
2006
The temporal knapsack problem and its solution. Zbl 1133.68425
Bartlett, Mark; Frisch, Alan M.; Hamadi, Youssef; Miguel, Ian; Tarim, S. Armagan; Unsworth, Chris
6
2005
Conditional symmetry breaking. Zbl 1153.68459
Gent, Ian P.; Kelsey, Tom; Linton, Steve A.; McDonald, Iain; Miguel, Ian; Smith, Barbara M.
5
2005
Hybrid modelling for robust solving. Zbl 1156.90474
Hnich, Brahim; Kiziltan, Zeynep; Miguel, Ian; Walsh, Toby
2
2004
Constraints for breaking more row and column symmetries. Zbl 1273.68075
Frisch, Alan M.; Jefferson, Chris; Miguel, Ian
7
2003
CGRASS: A system for transforming constraint satisfaction problems. Zbl 1023.68668
Frisch, Alan M.; Miguel, Ian; Walsh, Toby
5
2003
Fuzzy \(rr\)DFCSP and planning. Zbl 1082.68810
Miguel, Ian; Shen, Qiang
2
2003
Constraint generation via automated theory formation. Zbl 1067.68622
Colton, Simon; Miguel, Ian
5
2001
Solution techniques for constraint satisfaction problems: Advanced approaches. Zbl 0974.68042
Miguel, I.; Shen, Q.
2
2001
Solution techniques for constraint satisfaction problems: Foundations. Zbl 0976.68144
Miguel, I.; Shen, Q.
2
2001
all top 5

Cited by 161 Authors

6 Miguel, Ian
6 Nightingale, Peter W.
6 Stuckey, Peter James
5 Carlsson, Mats
5 Garcia de la Banda, Maria
5 Gent, Ian Philip
4 Beldiceanu, Nicolas
3 Chu, Geoffrey
3 Flener, Pierre
3 Hooker, John N. jun.
3 Jefferson, Christopher
3 Wallace, Mark G.
2 Akgün, Özgür
2 Banković, Milan
2 Behboodi-Kahoo, Malihe
2 Björdal, Gustav
2 Bofill, Miquel
2 Codish, Michael
2 Colton, Simon
2 De Raedt, Luc
2 Douence, Rémi
2 Hnich, Brahim
2 Jussien, Narendra
2 Kapoor, Kalpesh
2 Ketabchi, Saeed
2 Lee, Jimmy Ho-man
2 Mears, Christopher
2 Monette, Jean-Noël
2 Moore, Neil C. A.
2 Palahí, Miquel
2 Pearson, Justin
2 Prosser, Patrick
2 Prud’homme, Charles
2 Shen, Qiang
2 Suy, Josep
2 Tack, Guido
2 Ternovska, Eugenia
2 Villaret, Mateu
2 Walsh, Toby
1 Agarwal, Udit
1 Aloul, Fadi A.
1 Amadini, Roberto
1 Anders, Gerrit
1 Angelelli, Enrico
1 Ansótegui, Carlos
1 Audemard, Gilles
1 Beck, J. Christopher
1 Belle, Vaishak
1 Bendotti, Pascale
1 Bianchessi, Nicola
1 Blockeel, Hendrik
1 Bogaerts, Bart
1 Boussemart, Frédéric
1 Bouveret, Sylvain
1 Bruynooghe, Maurice
1 Cabon, Bertrand
1 Cadoli, Marco
1 Coban, Elvin
1 Darmann, Andreas
1 de Cat, Broes
1 De Pooter, Stef
1 Deb, Biswajit
1 Dechter, Rina
1 Dekker, Jip J.
1 Dell’Amico, Mauro
1 Demassey, Sophie
1 Demoen, Bart
1 Denecker, Marc
1 Derrien, Alban
1 Dries, Anton
1 Fages, François
1 Filippi, Carlo
1 Fouilhoux, Pierre
1 Freuder, Eugene C.
1 Frisch, Alan M.
1 Frost, Daniel
1 Furini, Fabio
1 Gabbrielli, Maurizio
1 Goldsztejn, Alexandre
1 Gottlob, Georg
1 Greco, Gianluigi
1 Gu, Wenxiang
1 Guns, Tias
1 Hebrard, Emmanuel
1 Heinz, Stefan
1 Hemmi, David
1 Huguet, Marie-José
1 Iori, Manuel
1 Itzhakov, Avraham
1 Jahanjou, Hamidreza
1 Jansen, Joachim
1 Jensen, Richard P.
1 Jermann, Christophe
1 Junttila, Tommi A.
1 Kantor, Erez
1 Karppa, Matti
1 Kaski, Petteri
1 Kitaev, Sergey
1 Kiziltan, Zeynep
1 Knapp, Alexander
...and 61 more Authors

Citations by Year