Ian Miguel

4 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

Future Conferences

AI Journal Division

IJCAI Proceedings