Miguel, Ian

12 publications

JAIR 2025 TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models Özgür Akgün, Ian P. Gent, Christopher Jefferson, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, András Z. Salamon, Felix Ulrich-Oltean

IJCAI 2023 Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract) Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale

IJCAI 2023 Learning When to Use Automatic Tabulation in Constraint Model Reformulation Carlo Cena, Özgür Akgün, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, Felix Ulrich-Oltean

IJCAI 2019 Athanor: High-Level Local Search over Abstract Constraint Specifications in Essence Saad Attieh, Nguyen Dang, Christopher Jefferson, Ian Miguel, Peter Nightingale

IJCAI 2018 A Framework for Constraint Based Local Search Using Essence Özgür Akgün, Saad Attieh, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon, Patrick Spracklen, James Wetter

JAIR 2013 Short and Long Supports for Constraint Propagation Peter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel

IJCAI 2011 Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints Peter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel

AAAI 2011 Extensible Automated Constraint Modelling Ozgur Akgun, Ian Miguel, Christopher Jefferson, Alan M. Frisch, Brahim Hnich

AAAI 2007 Data Structures for Generalised Arc Consistency for Extensional Constraints Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale

IJCAI 2007 The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems Alan M. Frisch, Matthew Grum, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel

IJCAI 2005 The Rules of Constraint Modelling Alan M. Frisch, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel

IJCAI 2003 Multiset Ordering Constraints Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh