Ian Philip Gent

Available identifiers

zbMath Open gent.ian-philipWikidataQ19560556 ScholiaQ19560556MaRDI QIDQ1203765

List of research outcomes

Publication	Date of Publication	Type
The satisfiability constraint gap	2022-09-22	Paper
\textsc{Conjure}: automatic generation of constraint models from problem specifications	2022-08-11	Paper
Solving computational problems in the theory of word-representable graphs	2019-03-04	Paper
A review of literature on parallel constraint solving	2018-12-04	Paper
Automatically improving constraint models in Savile Row	2017-11-16	Paper
Generalized support and formal development of constraint propagators	2017-11-15	Paper
Complexity of n-Queens Completion	2017-10-24	Paper
Asymptotic and finite size parameters for phase transitions: Hamiltonian circuit as a case study	2016-06-09	Paper
S-crucial and bicrucial permutations with respect to squares	2015-08-18	Paper
Generating custom propagators for arbitrary constraints	2014-06-10	Paper
Optimal Implementation of Watched Literals and More General Techniques	2013-11-06	Paper
Short and Long Supports for Constraint Propagation	2013-02-25	Paper
Principles and Practice of Constraint Programming – CP 2003	2010-03-02	Paper
Principles and Practice of Constraint Programming – CP 2003	2010-03-02	Paper
Theory and Applications of Satisfiability Testing	2009-07-24	Paper
Solving quantified constraint satisfaction problems	2009-07-17	Paper
Generalised arc consistency for the AllDifferent constraint: an empirical survey	2009-07-17	Paper
Conditional Symmetry Breaking	2008-09-09	Paper
Symmetry and Consistency	2008-09-09	Paper
Watched Literals for Constraint Propagation in Minion	2008-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q5435012	2008-01-14	Paper
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems	2005-12-27	Paper
Theory and Applications of Satisfiability Testing	2005-12-15	Paper
Heuristic solution of open bin packing problems	2005-10-13	Paper
https://portal.mardi4nfdi.de/entity/Q4475634	2004-08-09	Paper
Frozen development in graph coloring	2002-03-03	Paper
Random constraint satisfaction: Flaws and structure	2001-11-12	Paper
Satisfiability in the Year 2000	2001-05-01	Paper
Decomposable constraints	2000-12-12	Paper
Search algorithms in type theory	2000-08-23	Paper
The TSP phase transition	1998-07-23	Paper
https://portal.mardi4nfdi.de/entity/Q4386921	1998-05-10	Paper
Easy problems are sometimes hard	1995-01-11	Paper
Theory matrices (for modal logics) using alphabetical monotonicity	1994-12-01	Paper
A sequent- or tableau-style system for Lewis's counterfactual logic VC	1993-02-22	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ian Philip Gent