Christopher Jefferson

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, Ian Miguel, Peter Nightingale

doi:10.24963/ijcai.2023/765

Details PDF

IJCAI 2019

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

with Saad Attieh, Nguyen Dang, Ian Miguel, 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, Ian Miguel, Peter Nightingale, András Z. Salamon, Patrick Spracklen, James Wetter

doi:10.24963/ijcai.2018/173

Details PDF

Complexity of n-Queens Completion (Extended Abstract)

with Ian P. Gent, Peter Nightingale

doi:10.24963/ijcai.2018/794

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings