Peter Nightingale

University of York , York , United Kingdom

11 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, Ian Miguel

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, Ian Miguel, Felix Ulrich-Oltean

doi:10.24963/ijcai.2023/211

Details PDF

SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract)

with Miquel Bofill, Jordi Coll, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret

doi:10.24963/ijcai.2023/769

Details PDF

IJCAI 2019

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

with Saad Attieh, Nguyen Dang, Christopher Jefferson, Ian Miguel

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, Ian Miguel, 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, Christopher Jefferson

doi:10.24963/ijcai.2018/794

Details PDF

IJCAI 2013

Extending Simple Tabular Reduction with Short Supports

with Christopher Jefferson

Details PDF

Extending Simple Tabular Reduction with Short Supports

with Christopher Jefferson

Details PDF

The Extended Global Cardinality Constraint: An Empirical Survey: Extended Abstract

Details PDF

IJCAI 2011

Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints

with Ian P. Gent, Christopher Jefferson, Ian Miguel

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

Details PDF

IJCAI 2005

QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems

with Ian P. Gent, Kostas Stergiou

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings