Ian P. Gent
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
59
Venues
11
Active years
1993–2026
Best venue rank
A*
Where they publish
Papers
59 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Faster Symmetry Breaking Constraints for Abstract Structures. | zgr Akgn, Mun See Chang, Ian P. Gent, Christopher Jefferson |
| 2025 | CP | Constraint Models for Klondike. | Nguyen Dang, Ian P. Gent, Peter Nightingale, Felix Ulrich-Oltean, Jack Waller |
| 2025 | CPAIOR | Breaking the Symmetries of Indistinguishable Objects. | zgr Akgn, Mun See Chang, Ian P. Gent, Christopher Jefferson |
| 2024 | CP | Solving Patience and Solitaire Games with Good Old Fashioned AI (Invited Talk). | Ian P. Gent |
| 2024 | ICTAI | Cross-Paradigm Modelling: A Study of Puzznic. | Joan Espasa, Ian P. Gent, Ian Miguel, Peter Nightingale, Andrs Z. Salamon, Mateu Villaret |
| 2023 | IJCAI | Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract). | zgr Akgn, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale |
| 2018 | CP | Metamorphic Testing of Constraint Solvers. | zgr Akgn, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale |
| 2018 | CP | Automatic Discovery and Exploitation of Promising Subproblems for Tabulation. | zgr Akgn, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, Andrs Z. Salamon |
| 2018 | IJCAI | A Framework for Constraint Based Local Search using Essence. | zgr Akgn, Saad Attieh, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, Andrs Z. Salamon, Patrick Spracklen, James Wetter |
| 2018 | IJCAI | Complexity of n-Queens Completion (Extended Abstract). | Ian P. Gent, Christopher Jefferson, Peter Nightingale |
| 2016 | CP | Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT. | zgr Akgn, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale |
| 2014 | CP | Discriminating Instance Generation for Automated Constraint Model Selection. | Ian P. Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Glenna F. Nightingale, Peter Nightingale |
| 2014 | CP | Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination. | Peter Nightingale, zgr Akgn, Ian P. Gent, Christopher Jefferson, Ian Miguel |
| 2014 | ECAI | Breaking Conditional Symmetry in Automated Constraint Modelling with CONJURE. | Ozgur Akgun, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale |
| 2014 | UCC | Recomputation.org: Experiences of Its First Year and Lessons Learned. | Ian P. Gent, Lars Kotthoff |
| 2013 | CP | Automated Symmetry Breaking and Model Selection in Conjure. | Ozgur Akgun, Alan M. Frisch, Ian P. Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale |
| 2011 | AAAI | Reliability of Computational Experiments on Virtualised Hardware. | Ian P. Gent, Lars Kotthoff |
| 2011 | CPAIOR | Propagation in Constraints: How One Thing Leads to Another. | Ian P. Gent |
| 2011 | IJCAI | Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints. | Peter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel |
| 2011 | SoCS | A Preliminary Evaluation of Machine Learning in Algorithm Selection for Search Problems. | Lars Kotthoff, Ian P. Gent, Ian Miguel |
| 2010 | CP | Generating Special-Purpose Stateless Propagators for Arbitrary Constraints. | Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale |
| 2010 | ECAI | Learning When to Use Lazy Learning in Constraint Solving. | Ian P. Gent, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Neil C. A. Moore, Peter Nightingale, Karen E. Petrie |
| 2010 | PADL | Lazy Explanations for Constraint Propagators. | Ian P. Gent, Ian Miguel, Neil C. A. Moore |
| 2007 | AAAI | Data Structures for Generalised Arc Consistency for Extensional Constraints. | Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale |
| 2007 | CP | Groupoids and Conditional Symmetry. | Ian P. Gent, Tom W. Kelsey, Stephen A. Linton, J. Pearson, Colva M. Roney-Dougal |
| 2006 | CP | Watched Literals for Constraint Propagation in Minion. | Ian P. Gent, Christopher Jefferson, Ian Miguel |
| 2006 | ECAI | Minion: A Fast Scalable Constraint Solver. | Ian P. Gent, Christopher Jefferson, Ian Miguel |
| 2005 | CP | Conditional Symmetry Breaking. | Ian P. Gent, Tom W. Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith |
| 2005 | CP | Symmetry and Consistency. | Ian P. Gent, Tom W. Kelsey, Steve Linton, Colva M. Roney-Dougal |
| 2005 | IJCAI | QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems. | Ian P. Gent, Peter Nightingale, Kostas Stergiou |
| 2005 | SAT | Local and Global Complete Solution Learning Methods for QBF. | Ian P. Gent, Andrew G. D. Rowley |
| 2004 | CPAIOR | Models and Symmetry Breaking for 'Peaceable Armies of Queens'. | Barbara M. Smith, Karen E. Petrie, Ian P. Gent |
| 2004 | ECAI | Encoding Quantified CSPs as Quantified Boolean Formulae. | Ian P. Gent, Peter Nightingale, Andrew G. D. Rowley |
| 2004 | ECAI | Tractable Symmetry Breaking Using Restricted Search Trees. | Colva M. Roney-Dougal, Ian P. Gent, Tom W. Kelsey, Steve Linton |
| 2003 | CP | Generic SBDD Using Computational Group Theory. | Ian P. Gent, Warwick Harvey, Tom W. Kelsey, Steve Linton |
| 2003 | CP | Using Stochastic Local Search to Solve Quantified Boolean Formulae. | Ian P. Gent, Holger H. Hoos, Andrew G. D. Rowley, Kevin Smyth |
| 2003 | CP | Supertree Construction with Constraint Programming. | Ian P. Gent, Patrick Prosser, Barbara M. Smith, Wu Wei |
| 2003 | SAT | Watched Data Structures for QBF Solvers. | Ian P. Gent, Enrico Giunchiglia, Massimo Narizzano, Andrew G. D. Rowley, Armando Tacchella |
| 2002 | CP | Groups and Constraints: Symmetry Breaking during Search. | Ian P. Gent, Warwick Harvey, Tom W. Kelsey |
| 2002 | ECAI | Arc Consistency in SAT. | Ian P. Gent |
| 2002 | ECAI | An Empirical Study of the Stable Marriage Problem with Ties and Incomplete Lists. | Ian P. Gent, Patrick Prosser |
| 2001 | CP | A Constraint Programming Approach to the Stable Marriage Problem. | Ian P. Gent, Robert W. Irving, David F. Manlove, Patrick Prosser, Barbara M. Smith |
| 2000 | ECAI | Symmetry Breaking in Constraint Programming. | Ian P. Gent, Barbara M. Smith |
| 2000 | ECAI | Local Search on Random 2+p-SAT. | Josh Singer, Ian P. Gent, Alan Smaill |
| 1999 | AAAI | Morphing: Combining Structure and Randomness. | Ian P. Gent, Holger H. Hoos, Patrick Prosser, Toby Walsh |
| 1999 | AAAI | Beyond NP: the QSAT phase transition. | Ian P. Gent, Toby Walsh |
| 1999 | CP | CSP | Ian P. Gent, Toby Walsh |
| 1997 | AAAI | The Scaling of Search Cost. | Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh |
| 1997 | CP | The Constrainedness of Arc Consistency. | Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh |
| 1997 | CP | The Logic of Search Algorithms: Theory and Applications. | Ian P. Gent, Judith L. Underwood |
| 1997 | IJCAI | From Approximate to Optimal Solutions: Constructing Pruning and Propagation Rules. | Ian P. Gent, Toby Walsh |
| 1996 | AAAI | The Constrainedness of Search. | Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh |
| 1996 | CP | Local Search and the Number of Solutions. | David A. Clark, Jeremy Frank, Ian P. Gent, Ewan MacIntyre, Neven Tomov, Toby Walsh |
| 1996 | CP | An Empirical Study of Dynamic Variable Ordering Heuristics for the Constraint Satisfaction Problem. | Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh |
| 1996 | ECAI | Phase Transitions and Annealed Theories: Number Partitioning as a Case Study. | Ian P. Gent, Toby Walsh |
| 1995 | CP | Scaling Effects in the CSP Phase Transition. | Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh |
| 1994 | ECAI | The SAT Phase Transition. | Ian P. Gent, Toby Walsh |
| 1994 | KI | The Hardest Random SAT Problems. | Ian P. Gent, Toby Walsh |
| 1993 | AAAI | Towards an Understanding of Hill-Climbing Procedures for SAT. | Ian P. Gent, Toby Walsh |