Ian P. Gent - RankMe

128 papers A* 8A 38B 4C 1Misc 2Journal 60Unranked 14

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Faster Symmetry Breaking Constraints for Abstract Structures. AAAI Özgür Akgün, Mun See Chang, Ian P. Gent, Christopher Jefferson
2026	J	`jnl`	From Stories to Cities to Games: A Qualitative Evaluation of Behaviour Planning. CoRR Mustafa F. Abdelwahed, Joan Espasa, Alice Toniolo, Ian P. Gent
2026	J	`jnl`	The Winnability of Klondike Solitaire and Many Other Patience Games. J. Artif. Intell. Res. Charlie Blake, Ian P. Gent
2025	—	`conf`	Breaking the Symmetries of Indistinguishable Objects. CPAIOR (1) Özgür Akgün, Mun See Chang, Ian P. Gent, Christopher Jefferson
2025	J	`jnl`	Breaking the Symmetries of Indistinguishable Objects. CoRR Ozgur Akgun, Mun See Chang, Ian P. Gent, Christopher Jefferson
2025	A	`conf`	Constraint Models for Klondike. CP Nguyen Dang, Ian P. Gent, Peter Nightingale, Felix Ulrich-Oltean, Jack Waller
2025	J	`jnl`	Diverse Planning with Simulators via Linear Temporal Logic. CoRR Mustafa F. Abdelwahed, Alice Toniolo, Joan Espasa, Ian P. Gent
2025	J	`jnl`	Faster Symmetry Breaking Constraints for Abstract Structures. CoRR Özgür Akgün, Mun See Chang, Ian P. Gent, Christopher Jefferson
2025	J	`jnl`	TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models. J. Artif. Intell. Res. Özgür Akgün, Ian P. Gent, Christopher Jefferson, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, András Z. Salamon, Felix Ulrich-Oltean
2024	J	`jnl`	Behaviour Planning: A Toolkit for Diverse Planning. CoRR Mustafa F. Abdelwahed, Joan Espasa, Alice Toniolo, Ian P. Gent
2024	B	`conf`	Cross-Paradigm Modelling: A Study of Puzznic. ICTAI Joan Espasa, Ian P. Gent, Ian Miguel, Peter Nightingale, András Z. Salamon, Mateu Villaret
2024	A	`conf`	Solving Patience and Solitaire Games with Good Old Fashioned AI (Invited Talk). CP Ian P. Gent
2023	J	`jnl`	Bridging the Gap between Structural and Semantic Similarity in Diverse Planning. CoRR Mustafa F. Abdelwahed, Joan Espasa, Alice Toniolo, Ian P. Gent
2023	A*	`conf`	Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract). IJCAI Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
2023	J	`jnl`	Towards a Model of Puzznic. CoRR Joan Espasa, Ian P. Gent, Ian Miguel, Peter Nightingale, András Z. Salamon, Mateu Villaret
2022	J	`jnl`	Automatic Tabulation in Constraint Models. CoRR Özgür Akgün, Ian P. Gent, Christopher Jefferson, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, András Z. Salamon, Felix Ulrich-Oltean
2022	J	`jnl`	Conjure: Automatic Generation of Constraint Models from Problem Specifications. Artif. Intell. Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
2021	—	`conf`	Explaining Pen and Paper Puzzles with MUSes? SICSA XAI Joan Espasa, Ian P. Gent, Ruth Hoffmann, Christopher Jefferson, Matthew J. McIlree, Alice M. Lynch
2021	J	`jnl`	Towards Reformulating Essence Specifications for Robustness. CoRR Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon
2021	J	`jnl`	Using Small MUSes to Explain How to Solve Pen and Paper Puzzles. CoRR Joan Espasa, Ian P. Gent, Ruth Hoffmann, Christopher Jefferson, Alice M. Lynch
2019	J	`jnl`	CSPLib: Twenty Years On. CoRR Ian P. Gent, Toby Walsh
2019	J	`jnl`	Solving Computational Problems in the Theory of Word-Representable Graphs. J. Integer Seq. Özgür Akgün, Ian P. Gent, Sergey Kitaev, Hans Zantema
2019	J	`jnl`	The Winnability of Klondike and Many Other Single-Player Card Games. CoRR Charlie Blake, Ian P. Gent
2018	A*	`conf`	A Framework for Constraint Based Local Search using Essence. IJCAI Özgür Akgün, Saad Attieh, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon, Patrick Spracklen, James Wetter
2018	J	`jnl`	A Review of Literature on Parallel Constraint Solving. CoRR Ian P. Gent, Ciaran McCreesh, Ian Miguel, Neil C. A. Moore, Peter Nightingale, Patrick Prosser, Chris Unsworth
2018	J	`jnl`	A review of literature on parallel constraint solving. Theory Pract. Log. Program. Ian P. Gent, Ian Miguel, Peter Nightingale, Ciaran McCreesh, Patrick Prosser, Neil C. A. Moore, Chris Unsworth
2018	A	`conf`	Automatic Discovery and Exploitation of Promising Subproblems for Tabulation. CP Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon
2018	A*	`conf`	Complexity of n-Queens Completion (Extended Abstract). IJCAI Ian P. Gent, Christopher Jefferson, Peter Nightingale
2018	A	`conf`	Metamorphic Testing of Constraint Solvers. CP Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
2017	J	`jnl`	Automatically improving constraint models in Savile Row. Artif. Intell. Peter Nightingale, Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Patrick Spracklen
2017	J	`jnl`	Complexity of n-Queens Completion. J. Artif. Intell. Res. Ian P. Gent, Christopher Jefferson, Peter Nightingale
2017	J	`jnl`	Generalized support and formal development of constraint propagators. AI Commun. James L. Caldwell, Ian P. Gent, Peter Nightingale
2016	A	`conf`	Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT. CP Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
2015	J	`jnl`	Generalized Support and Formal Development of Constraint Propagators. CoRR James L. Caldwell, Ian P. Gent, Peter Nightingale
2015	J	`jnl`	S-Crucial and Bicrucial Permutations with Respect to Squares. J. Integer Seq. Ian P. Gent, Sergey Kitaev, Alexander Konovalov, Steve Linton, Peter Nightingale
2015	J	`jnl`	Top Tips to Make Your Research Irreproducible. CoRR Neil P. Chue Hong, Tom Crick, Ian P. Gent, Lars Kotthoff, Kenji Takeda
2014	J	`jnl`	An Open and Reproducible Paper on Openness and Reproducibility of Papers in Computational Science. CoRR Sylwester Arabas, Michael R. Bareford, Ian P. Gent, Benjamin M. Gorman, Masih Hajiarabderkani, Tristan Henderson, Luke Hutton, Alexander Konovalov, Lars Kotthoff, Ciaran McCreesh, Ruma R. Paul, Karen E. Petrie, Abdul Razaq, Daniël Reijsbergen
2014	A	`conf`	Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination. CP Peter Nightingale, Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel
2014	A	`conf`	Breaking Conditional Symmetry in Automated Constraint Modelling with CONJURE. ECAI Ozgur Akgun, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
2014	A	`conf`	Discriminating Instance Generation for Automated Constraint Model Selection. CP Ian P. Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Glenna F. Nightingale, Peter Nightingale
2014	J	`jnl`	Generating custom propagators for arbitrary constraints. Artif. Intell. Ian P. Gent, Christopher Jefferson, Steve Linton, Ian Miguel, Peter Nightingale
2014	J	`jnl`	Qualitative modelling via constraint programming. Constraints An Int. J. Thomas W. Kelsey, Lars Kotthoff, Christopher Jefferson, Stephen A. Linton, Ian Miguel, Peter Nightingale, Ian P. Gent
2014	Misc	`conf`	Recomputation.org: Experiences of Its First Year and Lessons Learned. UCC Ian P. Gent, Lars Kotthoff
2013	A	`conf`	Automated Symmetry Breaking and Model Selection in Conjure. CP Ozgur Akgun, Alan M. Frisch, Ian P. Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale
2013	J	`jnl`	Optimal Implementation of Watched Literals and More General Techniques. J. Artif. Intell. Res. Ian P. Gent
2013	J	`jnl`	Short and Long Supports for Constraint Propagation. J. Artif. Intell. Res. Peter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel
2013	J	`jnl`	The Recomputation Manifesto CoRR Ian P. Gent
2012	J	`jnl`	An empirical study of learning and forgetting constraints. AI Commun. Ian P. Gent, Ian Miguel, Neil C. A. Moore
2012	J	`jnl`	An evaluation of machine learning in algorithm selection for search problems. AI Commun. Lars Kotthoff, Ian P. Gent, Ian Miguel
2012	J	`jnl`	Qualitative Modelling via Constraint Programming: Past, Present and Future CoRR Thomas W. Kelsey, Lars Kotthoff, Christopher Jefferson, Stephen A. Linton, Ian Miguel, Peter Nightingale, Ian P. Gent
2011	B	`conf`	A Preliminary Evaluation of Machine Learning in Algorithm Selection for Search Problems. SOCS Lars Kotthoff, Ian P. Gent, Ian Miguel
2011	J	`jnl`	Backbone Fragility and the Local Search Cost Peak CoRR Ian P. Gent, Josh Singer, Alan Smaill
2011	A*	`conf`	Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints. IJCAI Peter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel
2011	J	`jnl`	Modelling Constraint Solver Architecture Design as a Constraint Problem CoRR Ian P. Gent, Christopher Jefferson, Lars Kotthoff, Ian Miguel
2011	B	`conf`	Propagation in Constraints: How One Thing Leads to Another. CPAIOR Ian P. Gent
2011	J	`jnl`	Reliability of Computational Experiments on Virtualised Hardware CoRR Ian P. Gent, Lars Kotthoff
2011	—	`conf`	Reliability of Computational Experiments on Virtualised Hardware. AI for Data Center Management and Cloud Computing Ian P. Gent, Lars Kotthoff
2010	A	`conf`	Generating Special-Purpose Stateless Propagators for Arbitrary Constraints. CP Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
2010	C	`conf`	Lazy Explanations for Constraint Propagators. PADL Ian P. Gent, Ian Miguel, Neil C. A. Moore
2010	A	`conf`	Learning When to Use Lazy Learning in Constraint Solving. ECAI Ian P. Gent, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Neil C. A. Moore, Peter Nightingale, Karen E. Petrie
2010	J	`jnl`	Machine learning for constraint solver design -- A case study for the alldifferent constraint CoRR Ian P. Gent, Lars Kotthoff, Ian Miguel, Peter Nightingale
2010	J	`jnl`	Using machine learning to make constraint solver implementation decisions CoRR Lars Kotthoff, Ian P. Gent, Ian Miguel
2009	—	`conf`	Automatically Enhancing Constraint Model Instances during Tailoring. SARA Andrea Rendl, Ian Miguel, Ian P. Gent, Christopher Jefferson
2009	—	`conf`	Common Subexpressions in Constraint Models of Planning Problems. SARA Andrea Rendl, Ian Miguel, Ian P. Gent, Peter Gregory
2009	—	`conf`	Modelling Equidistant Frequency Permutation Arrays in Constraints. SARA Ian P. Gent, Paul McKay, Ian Miguel, Peter Nightingale, Sophie Huczynska
2009	A	`ed.`	Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings CP Ian P. Gent
2008	J	`jnl`	Generalised arc consistency for the AllDifferent constraint: An empirical survey. Artif. Intell. Ian P. Gent, Ian Miguel, Peter Nightingale
2008	J	`jnl`	Solving quantified constraint satisfaction problems. Artif. Intell. Ian P. Gent, Peter Nightingale, Andrew G. D. Rowley, Kostas Stergiou
2007	A*	`conf`	Data Structures for Generalised Arc Consistency for Extensional Constraints. AAAI Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
2007	A	`conf`	Groupoids and Conditional Symmetry. CP Ian P. Gent, Tom W. Kelsey, Stephen A. Linton, J. Pearson, Colva M. Roney-Dougal
2007	J	`jnl`	Search in the patience game 'Black Hole'. AI Commun. Ian P. Gent, Christopher Jefferson, Tom W. Kelsey, Inês Lynce, Ian Miguel, Peter Nightingale, Barbara M. Smith, Armagan Tarim
2007	—	`conf`	Tailoring Solver-Independent Constraint Models: A Case Study with Essence' and Minion. SARA Ian P. Gent, Ian Miguel, Andrea Rendl
2006	A	`conf`	Minion: A Fast Scalable Constraint Solver. ECAI Ian P. Gent, Christopher Jefferson, Ian Miguel
2006	—	`ch.`	Symmetry in Constraint Programming. Handbook of Constraint Programming Ian P. Gent, Karen E. Petrie, Jean-François Puget
2006	A	`conf`	Watched Literals for Constraint Propagation in Minion. CP Ian P. Gent, Christopher Jefferson, Ian Miguel
2005	A	`conf`	Conditional Symmetry Breaking. CP Ian P. Gent, Tom W. Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith
2005	A	`conf`	Local and Global Complete Solution Learning Methods for QBF. SAT Ian P. Gent, Andrew G. D. Rowley
2005	A*	`conf`	QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems. IJCAI Ian P. Gent, Peter Nightingale, Kostas Stergiou
2005	A	`conf`	Symmetry and Consistency. CP Ian P. Gent, Tom W. Kelsey, Steve Linton, Colva M. Roney-Dougal
2004	A	`conf`	Encoding Quantified CSPs as Quantified Boolean Formulae. ECAI Ian P. Gent, Peter Nightingale, Andrew G. D. Rowley
2004	B	`conf`	Models and Symmetry Breaking for 'Peaceable Armies of Queens'. CPAIOR Barbara M. Smith, Karen E. Petrie, Ian P. Gent
2004	A	`conf`	Tractable Symmetry Breaking Using Restricted Search Trees. ECAI Colva M. Roney-Dougal, Ian P. Gent, Tom W. Kelsey, Steve Linton
2003	A	`conf`	Generic SBDD Using Computational Group Theory. CP Ian P. Gent, Warwick Harvey, Tom W. Kelsey, Steve Linton
2003	A	`conf`	Supertree Construction with Constraint Programming. CP Ian P. Gent, Patrick Prosser, Barbara M. Smith, Wu Wei
2003	A	`conf`	Using Stochastic Local Search to Solve Quantified Boolean Formulae. CP Ian P. Gent, Holger H. Hoos, Andrew G. D. Rowley, Kevin Smyth
2003	A	`conf`	Watched Data Structures for QBF Solvers. SAT Ian P. Gent, Enrico Giunchiglia, Massimo Narizzano, Andrew G. D. Rowley, Armando Tacchella
2002	A	`conf`	An Empirical Study of the Stable Marriage Problem with Ties and Incomplete Lists. ECAI Ian P. Gent, Patrick Prosser
2002	A	`conf`	Arc Consistency in SAT. ECAI Ian P. Gent
2002	A	`conf`	Groups and Constraints: Symmetry Breaking during Search. CP Ian P. Gent, Warwick Harvey, Tom W. Kelsey
2002	J	`jnl`	Satisfiability in the Year 2000. J. Autom. Reason. Ian P. Gent, Toby Walsh
2001	A	`conf`	A Constraint Programming Approach to the Stable Marriage Problem. CP Ian P. Gent, Robert W. Irving, David F. Manlove, Patrick Prosser, Barbara M. Smith
2001	J	`jnl`	Frozen development in graph coloring. Theor. Comput. Sci. Joseph C. Culberson, Ian P. Gent
2001	J	`jnl`	Random Constraint Satisfaction: Flaws and Structure. Constraints An Int. J. Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh
2000	J	`jnl`	Backbone Fragility and the Local Search Cost Peak. J. Artif. Intell. Res. Josh Singer, Ian P. Gent, Alan Smaill
2000	J	`jnl`	Decomposable constraints. Artif. Intell. Ian P. Gent, Kostas Stergiou, Toby Walsh
2000	A	`conf`	Local Search on Random 2+p-SAT. ECAI Josh Singer, Ian P. Gent, Alan Smaill
2000	—	`conf`	Parallel heuristic search in Haskell. Scottish Functional Programming Workshop Michelle Cope, Ian P. Gent, Kevin Hammond
2000	J	`jnl`	Satisfiability in the Year 2000. J. Autom. Reason. Ian P. Gent, Toby Walsh
2000	J	`jnl`	Search algorithms in type theory. Theor. Comput. Sci. James L. Caldwell, Ian P. Gent, Judith L. Underwood
2000	A	`conf`	Symmetry Breaking in Constraint Programming. ECAI Ian P. Gent, Barbara M. Smith
1999	J	`jnl`	A Response to "On method overfitting". J. Heuristics Ian P. Gent
1999	—	`conf`	Beyond NP: the QSAT phase transition. AAAI/IAAI Ian P. Gent, Toby Walsh
1999	A	`conf`	CSP CP Ian P. Gent, Toby Walsh
1999	—	`conf`	Decomposable Constraints. New Trends in Constraints Ian P. Gent, Kostas Stergiou, Toby Walsh
1999	—	`conf`	Morphing: Combining Structure and Randomness. AAAI/IAAI Ian P. Gent, Holger H. Hoos, Patrick Prosser, Toby Walsh
1999	J	`jnl`	Paul R. Cohen's Empirical Methods for Artificial Intelligence. Artif. Intell. Ian P. Gent, Toby Walsh
1998	J	`jnl`	Analysis of Heuristics for Number Partitioning. Comput. Intell. Ian P. Gent, Toby Walsh
1998	J	`jnl`	Asymptotic and Finite Size Parameters for Phase Transitions: Hamiltonian Circuit as a Case Study. Inf. Process. Lett. Jeremy Frank, Ian P. Gent, Toby Walsh
1998	J	`jnl`	Heuristic Solution of Open Bin Packing Problems. J. Heuristics Ian P. Gent
1997	—	`conf`	From Approximate to Optimal Solutions: Constructing Pruning and Propagation Rules. IJCAI Ian P. Gent, Toby Walsh
1997	A	`conf`	The Constrainedness of Arc Consistency. CP Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh
1997	A	`conf`	The Logic of Search Algorithms: Theory and Applications. CP Ian P. Gent, Judith L. Underwood
1997	—	`conf`	The Scaling of Search Cost. AAAI/IAAI Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh
1996	A	`conf`	An Empirical Study of Dynamic Variable Ordering Heuristics for the Constraint Satisfaction Problem. CP Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh
1996	A	`conf`	Local Search and the Number of Solutions. CP David A. Clark, Jeremy Frank, Ian P. Gent, Ewan MacIntyre, Neven Tomov, Toby Walsh
1996	A	`conf`	Phase Transitions and Annealed Theories: Number Partitioning as a Case Study. ECAI Ian P. Gent, Toby Walsh
1996	—	`conf`	The Constrainedness of Search. AAAI/IAAI, Vol. 1 Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh
1996	J	`jnl`	The Satisfiability Constraint Gap. Artif. Intell. Ian P. Gent, Toby Walsh
1996	J	`jnl`	The TSP Phase Transition. Artif. Intell. Ian P. Gent, Toby Walsh
1995	A	`conf`	Scaling Effects in the CSP Phase Transition. CP Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh
1994	J	`jnl`	Easy Problems are Sometimes Hard. Artif. Intell. Ian P. Gent, Toby Walsh
1994	Misc	`conf`	The Hardest Random SAT Problems. KI Ian P. Gent, Toby Walsh
1994	A	`conf`	The SAT Phase Transition. ECAI Ian P. Gent, Toby Walsh
1993	J	`jnl`	An Empirical Analysis of Search in GSAT CoRR Ian P. Gent, Toby Walsh
1993	J	`jnl`	An Empirical Analysis of Search in GSAT. J. Artif. Intell. Res. Ian P. Gent, Toby Walsh
1993	J	`jnl`	Theory matrices (for modal logics) Using alphabetical monotonicity. Stud Logica Ian P. Gent
1993	A*	`conf`	Towards an Understanding of Hill-Climbing Procedures for SAT. AAAI Ian P. Gent, Toby Walsh
1992	J	`jnl`	A Sequent- or Tableau-style System for Lewis's Counterfactual Logic VC. Notre Dame J. Formal Log. Ian P. Gent