×

zbMATH — the first resource for mathematics

Gent, Ian Philip

Compute Distance To:
Author ID: gent.ian-philip Recent zbMATH articles by "Gent, Ian Philip"
Published as: Gent, I.; Gent, I. P.; Gent, Ian; Gent, Ian P.; Gent, Ian Philip
External Links: MGP · Wikidata · ORCID · dblp
Documents Indexed: 39 Publications since 1992, including 2 Books

Publications by Year

Citations contained in zbMATH

31 Publications have been cited 186 times in 163 Documents Cited by Year
Random constraint satisfaction: Flaws and structure. Zbl 0992.68193
Gent, Ian P.; Macintyre, Ewan; Prosser, Patrick; Smith, Barbara M.; Walsh, Toby
25
2001
Frozen development in graph coloring. Zbl 0983.68145
Culberson, J.; Gent, I.
24
2001
The TSP phase transition. Zbl 0907.68177
Gent, Ian P.; Walsh, Toby
17
1996
Easy problems are sometimes hard. Zbl 0824.68107
Gent, Ian P.; Walsh, Toby
14
1994
Backbone fragility and the local search cost peak. Zbl 0947.68044
Singer, J.; Gent, I. P.; Smaill, A.
9
2000
An empirical analysis of search in GSAT. Zbl 0900.68178
Gent, I. P.; Walsh, T.
9
1993
A constraint programming approach to the stable marriage problem. Zbl 1067.68639
Gent, Ian P.; Irving, Robert W.; Manlove, David F.; Prosser, Patrick; Smith, Barbara M.
8
2001
A sequent- or tableau-style system for Lewis’s counterfactual logic VC. Zbl 0762.03010
Gent, Ian Philip
8
1992
Automatically improving constraint models in Savile Row. Zbl 1419.68099
Nightingale, Peter; Akgün, Özgür; Gent, Ian P.; Jefferson, Christopher; Miguel, Ian; Spracklen, Patrick
7
2017
Generic SBDD using computational group theory. Zbl 1273.68076
Gent, Ian P.; Harvey, Warwick; Kelsey, Tom; Linton, Steve
6
2003
SAT2000. Highlights of satisfiability research in the year 2000. 3rd international workshop, September 1998. Zbl 0963.00028
Gent, Ian (ed.); Van Maaren, Hans (ed.); Walsh, Toby (ed.)
6
2000
Generalised arc consistency for the AllDifferent constraint: an empirical survey. Zbl 1184.68472
Gent, Ian P.; Miguel, Ian; Nightingale, Peter
5
2008
Conditional symmetry breaking. Zbl 1153.68459
Gent, Ian P.; Kelsey, Tom; Linton, Steve A.; McDonald, Iain; Miguel, Ian; Smith, Barbara M.
5
2005
Heuristic solution of open bin packing problems. Zbl 1071.90576
Gent, Ian P.
5
1998
Complexity of \(n\)-queens completion. Zbl 1418.68099
Gent, Ian P.; Jefferson, Christopher; Nightingale, Peter
4
2017
Generating custom propagators for arbitrary constraints. Zbl 1405.68326
Gent, Ian P.; Jefferson, Christopher; Linton, Steve; Miguel, Ian; Nightingale, Peter
4
2014
Search in the patience game ‘Black Hole’. Zbl 1151.90525
Gent, Ian P.; Jefferson, Chris; Kelsey, Tom; Lynce, Inês; Miguel, Ian; Nightingale, Peter; Smith, Barbara M.; Tarim, S. Armagan
4
2007
Watched data structures for QBF solvers. Zbl 1204.68195
Gent, Ian; Giunchiglia, Enrico; Narizzano, Massimo; Rowley, Andrew; Tacchella, Armando
4
2004
Using stochastic local search to solve quantified Boolean formulae. Zbl 1273.68346
Gent, Ian P.; Hoos, Holger H.; Rowley, Andrew G. D.; Smyth, Kevin
4
2003
Solving quantified constraint satisfaction problems. Zbl 1182.68241
Gent, Ian P.; Nightingale, Peter; Rowley, Andrew; Stergiou, Kostas
3
2008
Optimal implementation of watched literals and more general techniques. Zbl 1277.68247
Gent, Ian P.
2
2013
Search algorithms in type theory. Zbl 0951.68147
Caldwell, James L.; Gent, Ian P.; Underwood, Judith
2
2000
Asymptotic and finite size parameters for phase transitions: Hamiltonian circuit as a case study. Zbl 1338.68103
Frank, Jeremy; Gent, Ian P.; Walsh, Toby
2
1998
Theory matrices (for modal logics) using alphabetical monotonicity. Zbl 0801.03007
Gent, Ian P.
2
1993
A review of literature on parallel constraint solving. Zbl 1452.68177
Gent, Ian P.; Miguel, Ian; Nightingale, Peter; McCreesh, Ciaran; Prosser, Patrick; Moore, Neil C. A.; Unsworth, Chris
1
2018
\(S\)-crucial and bicrucial permutations with respect to squares. Zbl 1327.05005
Gent, Ian; Kitaev, Sergey; Konovalov, Alexander; Linton, Steve; Nightingale, Peter
1
2015
Short and long supports for constraint propagation. Zbl 1261.68110
Nightingale, Peter; Gent, Ian P.; Jefferson, Christopher; Miguel, Ian
1
2013
Groupoids and conditional symmetry. Zbl 1145.68514
Gent, I. P.; Kelsey, T.; Linton, S. A.; Pearson, J.; Roney-Dougal, C. M.
1
2007
Symmetry and consistency. Zbl 1153.68460
Gent, Ian P.; Kelsey, Tom; Linton, Steve; Roney-Dougal, Colva
1
2005
Models and symmetry breaking for ‘Peaceable armies of queens’. Zbl 1094.68656
Smith, Barbara M.; Petrie, Karen E.; Gent, Ian P.
1
2004
Special issue: Satisfiability in the year 2000. Zbl 0956.00015
Gent, Ian P. (ed.); Walsh, Toby (ed.)
1
2000
A review of literature on parallel constraint solving. Zbl 1452.68177
Gent, Ian P.; Miguel, Ian; Nightingale, Peter; McCreesh, Ciaran; Prosser, Patrick; Moore, Neil C. A.; Unsworth, Chris
1
2018
Automatically improving constraint models in Savile Row. Zbl 1419.68099
Nightingale, Peter; Akgün, Özgür; Gent, Ian P.; Jefferson, Christopher; Miguel, Ian; Spracklen, Patrick
7
2017
Complexity of \(n\)-queens completion. Zbl 1418.68099
Gent, Ian P.; Jefferson, Christopher; Nightingale, Peter
4
2017
\(S\)-crucial and bicrucial permutations with respect to squares. Zbl 1327.05005
Gent, Ian; Kitaev, Sergey; Konovalov, Alexander; Linton, Steve; Nightingale, Peter
1
2015
Generating custom propagators for arbitrary constraints. Zbl 1405.68326
Gent, Ian P.; Jefferson, Christopher; Linton, Steve; Miguel, Ian; Nightingale, Peter
4
2014
Optimal implementation of watched literals and more general techniques. Zbl 1277.68247
Gent, Ian P.
2
2013
Short and long supports for constraint propagation. Zbl 1261.68110
Nightingale, Peter; Gent, Ian P.; Jefferson, Christopher; Miguel, Ian
1
2013
Generalised arc consistency for the AllDifferent constraint: an empirical survey. Zbl 1184.68472
Gent, Ian P.; Miguel, Ian; Nightingale, Peter
5
2008
Solving quantified constraint satisfaction problems. Zbl 1182.68241
Gent, Ian P.; Nightingale, Peter; Rowley, Andrew; Stergiou, Kostas
3
2008
Search in the patience game ‘Black Hole’. Zbl 1151.90525
Gent, Ian P.; Jefferson, Chris; Kelsey, Tom; Lynce, Inês; Miguel, Ian; Nightingale, Peter; Smith, Barbara M.; Tarim, S. Armagan
4
2007
Groupoids and conditional symmetry. Zbl 1145.68514
Gent, I. P.; Kelsey, T.; Linton, S. A.; Pearson, J.; Roney-Dougal, C. M.
1
2007
Conditional symmetry breaking. Zbl 1153.68459
Gent, Ian P.; Kelsey, Tom; Linton, Steve A.; McDonald, Iain; Miguel, Ian; Smith, Barbara M.
5
2005
Symmetry and consistency. Zbl 1153.68460
Gent, Ian P.; Kelsey, Tom; Linton, Steve; Roney-Dougal, Colva
1
2005
Watched data structures for QBF solvers. Zbl 1204.68195
Gent, Ian; Giunchiglia, Enrico; Narizzano, Massimo; Rowley, Andrew; Tacchella, Armando
4
2004
Models and symmetry breaking for ‘Peaceable armies of queens’. Zbl 1094.68656
Smith, Barbara M.; Petrie, Karen E.; Gent, Ian P.
1
2004
Generic SBDD using computational group theory. Zbl 1273.68076
Gent, Ian P.; Harvey, Warwick; Kelsey, Tom; Linton, Steve
6
2003
Using stochastic local search to solve quantified Boolean formulae. Zbl 1273.68346
Gent, Ian P.; Hoos, Holger H.; Rowley, Andrew G. D.; Smyth, Kevin
4
2003
Random constraint satisfaction: Flaws and structure. Zbl 0992.68193
Gent, Ian P.; Macintyre, Ewan; Prosser, Patrick; Smith, Barbara M.; Walsh, Toby
25
2001
Frozen development in graph coloring. Zbl 0983.68145
Culberson, J.; Gent, I.
24
2001
A constraint programming approach to the stable marriage problem. Zbl 1067.68639
Gent, Ian P.; Irving, Robert W.; Manlove, David F.; Prosser, Patrick; Smith, Barbara M.
8
2001
Backbone fragility and the local search cost peak. Zbl 0947.68044
Singer, J.; Gent, I. P.; Smaill, A.
9
2000
SAT2000. Highlights of satisfiability research in the year 2000. 3rd international workshop, September 1998. Zbl 0963.00028
Gent, Ian (ed.); Van Maaren, Hans (ed.); Walsh, Toby (ed.)
6
2000
Search algorithms in type theory. Zbl 0951.68147
Caldwell, James L.; Gent, Ian P.; Underwood, Judith
2
2000
Special issue: Satisfiability in the year 2000. Zbl 0956.00015
Gent, Ian P. (ed.); Walsh, Toby (ed.)
1
2000
Heuristic solution of open bin packing problems. Zbl 1071.90576
Gent, Ian P.
5
1998
Asymptotic and finite size parameters for phase transitions: Hamiltonian circuit as a case study. Zbl 1338.68103
Frank, Jeremy; Gent, Ian P.; Walsh, Toby
2
1998
The TSP phase transition. Zbl 0907.68177
Gent, Ian P.; Walsh, Toby
17
1996
Easy problems are sometimes hard. Zbl 0824.68107
Gent, Ian P.; Walsh, Toby
14
1994
An empirical analysis of search in GSAT. Zbl 0900.68178
Gent, I. P.; Walsh, T.
9
1993
Theory matrices (for modal logics) using alphabetical monotonicity. Zbl 0801.03007
Gent, Ian P.
2
1993
A sequent- or tableau-style system for Lewis’s counterfactual logic VC. Zbl 0762.03010
Gent, Ian Philip
8
1992
all top 5

Cited by 319 Authors

8 Gent, Ian Philip
7 Nightingale, Peter W.
7 Walsh, Toby
5 Gao, Yong
4 Culberson, Joseph C.
4 Garcia de la Banda, Maria
4 Jefferson, Christopher
4 Lecoutre, Christophe
4 Miguel, Ian
4 Olivetti, Nicola
4 Pozzato, Gian Luca
4 Stuckey, Peter James
4 Xu, Ke
4 Yin, Minghao
4 Zhou, Junping
3 Carlsson, Mats
3 Chu, Geoffrey
3 O’Sullivan, Barry
3 Smith-Miles, Kate A.
2 Akgün, Özgür
2 Beldiceanu, Nicolas
2 Björdal, Gustav
2 Boussemart, Frédéric
2 Bouziri, Hend
2 Cocco, Simona
2 Cohen, David A.
2 Delorme, Maxence
2 Demoen, Bart
2 Dimitriou, Tassos D.
2 Douence, Rémi
2 Eiter, Thomas
2 Fan, Yun
2 Flener, Pierre
2 Freuder, Eugene C.
2 Giunchiglia, Enrico
2 Gomes, Carla P.
2 Hossain, Shahadat
2 Jonsson, Peter A.
2 Krokhin, Andrei A.
2 Lee, Jimmy Ho-man
2 Lellmann, Björn
2 Li, Wei
2 Manlove, David F.
2 Maratea, Marco
2 Massacci, Fabio
2 Mears, Christopher
2 Mellouli, Khaled
2 Monasson, Rémi
2 Monette, Jean-Noël
2 Moore, Neil C. A.
2 Ogris, Paul
2 Petrie, Karen E.
2 Pini, Maria Silvia
2 Prestwich, Steven D.
2 Prud’homme, Charles
2 Puget, Jean-François
2 Rossi, Francesca L.
2 Schekotihin, Konstantin
2 Selman, Bart
2 Shen, Jing
2 Smith, Barbara M.
2 Tabary, Sébastien
2 Talbi, El-Ghazali
2 Van Gelder, Allen
2 Venable, Kristen Brent
2 Zhang, Peng
1 Aiex, Renata M.
1 Alenda, Régis
1 Aloul, Fadi A.
1 Alpert, Hannah
1 Arif, M. Fareed
1 Artosi, Alberto
1 Audemard, Gilles
1 Baatar, Davaatseren
1 Banković, Milan
1 Barahona, Pedro
1 Baumgartner, Richard
1 Beacham, Adam
1 Beame, Paul W.
1 Beck, J. Christopher
1 Benassi, Paola
1 Bendotti, Pascale
1 Benhamou, Belaid
1 Bessiere, Christian
1 Bistarelli, Stefano
1 Böhm, Max
1 Böttcher, Stefan
1 Bowman, Christopher S.
1 Braune, Roland
1 Brglez, Franc
1 Caldwell, James L.
1 Caracciolo, Sergio
1 Carvalho, Alda
1 Chen, Song
1 Connamacher, Harold S.
1 Correia, Marco
1 Crainic, Teodor Gabriel
1 Crato, Nuno
1 Creignou, Nadia
1 Daudé, Hervé
...and 219 more Authors
all top 5

Cited in 46 Serials

26 Constraints
23 Artificial Intelligence
14 Discrete Applied Mathematics
9 Theoretical Computer Science
7 Annals of Mathematics and Artificial Intelligence
4 Computers & Operations Research
4 Journal of Automated Reasoning
4 European Journal of Operational Research
3 Journal of Computer and System Sciences
3 Mathematical Problems in Engineering
3 Theory and Practice of Logic Programming
2 International Journal of Foundations of Computer Science
2 Journal of Heuristics
2 INFORMS Journal on Computing
2 Journal of Combinatorial Optimization
1 Computers & Mathematics with Applications
1 Discrete Mathematics
1 Information Processing Letters
1 The Mathematical Intelligencer
1 Information Sciences
1 Journal of Combinatorial Theory. Series B
1 The Journal of Symbolic Logic
1 Operations Research Letters
1 Combinatorica
1 Graphs and Combinatorics
1 Journal of Symbolic Computation
1 Journal of Computer Science and Technology
1 Information and Computation
1 International Journal of Approximate Reasoning
1 Annals of Operations Research
1 Random Structures & Algorithms
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 MSCS. Mathematical Structures in Computer Science
1 International Journal of Computer Mathematics
1 Mathematical Programming. Series A. Series B
1 Journal of Applied Non-Classical Logics
1 Journal of Mathematical Sciences (New York)
1 Journal of Integer Sequences
1 Physical Review Letters
1 JMMA. Journal of Mathematical Modelling and Algorithms
1 Journal of Statistical Mechanics: Theory and Experiment
1 Optimization Letters
1 The Review of Symbolic Logic
1 Algorithms
1 Science China. Information Sciences
1 Afrika Matematika

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.