arrow
Back
I

Ian Miguel

university of st andrews

27H-index
148Paper Count
2.6KCitation Count
Published Papers 13
Publication Date
ATHANOR: Local search over abstract constraint specifications
err2025-03-01
err0
errOAAI
errAttieh, Saad; Dang, Nguyen; Jefferson, Christopher; Miguel, Ian; Nightingale, Peter
errShare
errSave
Automated streamliner portfolios for constraint satisfaction problems
err2023-06-01
err1
errOAAI
errSpracklen, Patrick; Dang, Nguyen; Akgun, Ozgur; Miguel, Ian
errShare
errSave
CONJURE: Automatic Generation of Constraint Models from Problem Specifications
err2022-09-01
err6
errOAAI
errAkgun, Ozgur; Frisch, Alan M.; Gent, Ian P.; Jefferson, Christopher; Miguel, Ian; Nightingale, Peter
errShare
errSave
Cloud Benchmarking for Maximising Performance of Scientific Applications
err2019-01-01
err17
errOAAI
errVarghese, Blesson; Akgun, Ozgur; Miguel, Ian; Thai, Long; Barker, Adam
errShare
errSave
Automatically improving constraint models in Savile Row
err2017-10-01
err34
errOAAI
errNightingale, Peter; Akgun, Ozgur; Gent, Ian P.; Jefferson, Christopher; Miguel, Ian; Spracklen, Patrick
errShare
errSave
Generating custom propagators for arbitrary constraints
err2014-06-01
err5
errOAAI
errGent, Ian P.; Jefferson, Christopher; Linton, Steve; Miguel, Ian; Nightingale, Peter
errShare
errSave
Filtering algorithms for the multiset ordering constraint
err2009-02-01
err3
errOAAI
errFrisch, Alan M.; Hnich, Brahim; Kiziltan, Zeynep; Miguel, Ian; Walsh, Toby
errShare
errSave
errShare
errSave
Modelling and solving English Peg Solitaire
err2006-10-01
err20
PREAI
errJefferson, C; Miguel, A; Miguel, I; Tarim, SA
errShare
errSave
Propagation algorithms for lexicographic ordering constraints
err2006-07-01
err25
errOAAI
errFrisch, Alan M.; Hnich, Brahirn; Kiziltan, Zeynep; Miguel, Ian; Walsh, Toby
errShare
errSave
Hybrid modelling for robust solving
err2004-08-01
err15
PREAI
errHnich, B; Kiziltan, Z; Miguel, I; Walsh, T
errShare
errSave
Fuzzy rrDFCSP and planning
err2003-08-01
err25
PREAI
errMiguel, I; Shen, Q
errShare
errSave
Dynamic flexible constraint satisfaction
err2000-01-01
err18
PREAI
errMiguel, I; Shen, Q
errShare
errSave