Gent, Ian P.

18 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 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

IJCAI 2018 Complexity of N-Queens Completion (Extended Abstract) Ian P. Gent, Christopher Jefferson, Peter Nightingale

JAIR 2017 Complexity of N-Queens Completion Ian P. Gent, Christopher Jefferson, Peter Nightingale

JAIR 2013 Optimal Implementation of Watched Literals and More General Techniques Ian P. Gent

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 2007 Data Structures for Generalised Arc Consistency for Extensional Constraints Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale

IJCAI 2005 QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems Ian P. Gent, Peter Nightingale, Kostas Stergiou

JAIR 2000 Backbone Fragility and the Local Search Cost Peak Josh Singer, Ian P. Gent, Alan Smaill

AAAI 1999 Beyond NP: The QSAT Phase Transition Ian P. Gent, Toby Walsh

AAAI 1999 Morphing: Combining Structure and Randomness Ian P. Gent, Holger H. Hoos, Patrick Prosser, Toby Walsh

IJCAI 1997 From Approximate to Optimal Solutions: Constructing Pruning and Propagation Rules Ian P. Gent, Toby Walsh

AAAI 1997 The Scaling of Search Cost Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh

AAAI 1996 The Constrainedness of Search Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh

JAIR 1993 An Empirical Analysis of Search in GSAT Ian P. Gent, Toby Walsh

AAAI 1993 Towards an Understanding of Hill-Climbing Procedures for SAT Ian P. Gent, Toby Walsh