Symmetry Breaking in Constraint Programming IP Gent, B Smith Proceedings of the Fourteenth European Conference on Artificial Intelligence …, 2000 | 373* | 2000 |
Minion: A fast scalable constraint solver IP Gent, C Jefferson, I Miguel ECAI 141, 98-102, 2006 | 368 | 2006 |
CSPLib: a benchmark library for constraints IP Gent, T Walsh Principles and Practice of Constraint Programming–CP’99: 5th International …, 1999 | 355 | 1999 |
Towards an understanding of hill-climbing procedures for SAT IP Gent, T Walsh AAAI 93 (Citeseer), 28-33, 1993 | 337 | 1993 |
The constrainedness of search IP Gent, E MacIntyre, P Prosser, T Walsh AAAI/IAAI, Vol. 1, 246-252, 1996 | 279 | 1996 |
The SAT phase transition IP Gent, T Walsh ECAI 94, 105-109, 1994 | 246 | 1994 |
Arc consistency in SAT IP Gent ECAI 2, 121-125, 2002 | 232 | 2002 |
An empirical study of dynamic variable ordering heuristics for the constraint satisfaction problem IP Gent, E MacIntyre, P Presser, BM Smith, T Walsh Principles and Practice of Constraint Programming—CP96: Second …, 1996 | 220 | 1996 |
Random constraint satisfaction: Flaws and structure IP Gent, E MacIntyre, P Prosser, BM Smith, T Walsh Constraints 6, 345-372, 2001 | 212 | 2001 |
The TSP phase transition IP Gent, T Walsh Artificial Intelligence 88 (1-2), 349-358, 1996 | 210 | 1996 |
Easy problems are sometimes hard IP Gent, T Walsh Artificial Intelligence 70 (1-2), 335-345, 1994 | 192 | 1994 |
Symmetry in constraint programming IP Gent, KE Petrie, JF Puget Foundations of Artificial Intelligence 2, 329-376, 2006 | 172 | 2006 |
Frozen development in graph coloring J Culberson, I Gent Theoretical computer science 265 (1-2), 227-264, 2001 | 148 | 2001 |
Backbone fragility and the local search cost peak J Singer, IP Gent, A Smaill Journal of Artificial Intelligence Research 12, 235-270, 2000 | 146 | 2000 |
Groups and constraints: Symmetry breaking during search IP Gent, W Harvey, T Kelsey Principles and Practice of Constraint Programming-CP 2002: 8th International …, 2002 | 139 | 2002 |
An empirical analysis of search in GSAT IP Gent, T Walsh Journal of Artificial Intelligence Research 1, 47-59, 1993 | 129 | 1993 |
Local search and the number of solutions DA Clark, J Frank, IP Gent, E MacIntyre, N Tomov, T Walsh Principles and Practice of Constraint Programming—CP96: Second …, 1996 | 128 | 1996 |
Beyond NP: the QSAT phase transition IP Gent, T Walsh AAAI/IAAI, 648-653, 1999 | 122 | 1999 |
Data structures for generalised arc consistency for extensional constraints IP Gent, C Jefferson, I Miguel, P Nightingale AAAI 7, 191-197, 2007 | 114 | 2007 |
Morphing: Combining structure and randomness IP Gent, HH Hoos, P Prosser, T Walsh Aaai/Iaai 99, 654-660, 1999 | 109 | 1999 |