Ian P. Gent

Available identifiers

zbMath Open gent.ian-philipDBLP30/3076WikidataQ19560556 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
Using stochastic local search to solve quantified Boolean formulae	2010-03-02	Paper
Generic SBDD using computational group theory	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
Watched Literals for Constraint Propagation in Minion	2008-09-09	Paper
Conditional Symmetry Breaking	2008-09-09	Paper
Symmetry and Consistency	2008-09-09	Paper
Search in the patience game `Black Hole'	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

This page was built for person: Ian P. Gent