Ian Miguel

School of Computer Science , University of St Andrews , UK

8 papers in the IJCAI proceedings

IJCAI 2023

Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract)

with Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Peter Nightingale

doi:10.24963/ijcai.2023/765

Details PDF

Learning When to Use Automatic Tabulation in Constraint Model Reformulation

with Carlo Cena, Özgür Akgün, Zeynep Kiziltan, Peter Nightingale, Felix Ulrich-Oltean

doi:10.24963/ijcai.2023/211

Details PDF

IJCAI 2019

Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence

with Saad Attieh, Nguyen Dang, Christopher Jefferson, Peter Nightingale

doi:10.24963/ijcai.2019/148

Details PDF

IJCAI 2018

A Framework for Constraint Based Local Search using Essence

with Özgür Akgün, Saad Attieh, Ian P. Gent, Christopher Jefferson, Peter Nightingale, András Z. Salamon, Patrick Spracklen, James Wetter

doi:10.24963/ijcai.2018/173

Details PDF

IJCAI 2011

Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints

with Peter Nightingale, Ian P. Gent, Christopher Jefferson

doi:10.5591/978-1-57735-516-8/IJCAI11-111

Details PDF

IJCAI 2007

The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems

with Alan M. Frisch, Matthew Grum, Christopher Jefferson, Bernadette Martínez Hernández

Details PDF

IJCAI 2005

The Rules of Constraint Modelling

with Alan M. Frisch, Christopher Jefferson, Bernadette Martínez Hernández

Details PDF

IJCAI 2003

Multiset Ordering Constraints

with Alan M. Frisch, Zeynep Kiziltan, Brahim Hnich, Toby Walsh

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings