フォロー
Ian Gent
Ian Gent
Professor of Computer Science, St Andrews University
確認したメール アドレス: st-andrews.ac.uk - ホームページ
タイトル
引用先
引用先
Minion: A fast scalable constraint solver
IP Gent, C Jefferson, I Miguel
ECAI 141, 98-102, 2006
3752006
Symmetry Breaking in Constraint Programming
IP Gent, B Smith
Proceedings of the Fourteenth European Conference on Artificial Intelligence …, 2000
372*2000
CSPLib: a benchmark library for constraints
IP Gent, T Walsh
Principles and Practice of Constraint Programming–CP’99: 5th International …, 1999
3521999
Towards an understanding of hill-climbing procedures for SAT
IP Gent, T Walsh
In Proceedings of AAAI-93, 1993
3401993
The SAT phase transition
K Xu, W Li
Science in China Series E: Technological Sciences 42, 494-501, 1999
2811999
The constrainedness of search
IP Gent, E MacIntyre, P Prosser, T Walsh
AAAI/IAAI, Vol. 1, 246-252, 1996
2751996
Arc consistency in SAT
IP Gent
ECAI 2, 121-125, 2002
2392002
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
2171996
Random constraint satisfaction: Flaws and structure
IP Gent, E MacIntyre, P Prosser, BM Smith, T Walsh
Constraints 6, 345-372, 2001
2162001
The TSP phase transition
IP Gent, T Walsh
Artificial Intelligence 88 (1-2), 349-358, 1996
2081996
Easy problems are sometimes hard
IP Gent, T Walsh
Artificial Intelligence 70 (1-2), 335-345, 1994
1961994
Symmetry in constraint programming
IP Gent, KE Petrie, JF Puget
Foundations of Artificial Intelligence 2, 329-376, 2006
1872006
Frozen development in graph coloring
J Culberson, I Gent
Theoretical computer science 265 (1-2), 227-264, 2001
1492001
Backbone fragility and the local search cost peak
J Singer, IP Gent, A Smaill
Journal of Artificial Intelligence Research 12, 235-270, 2000
1482000
Groups and constraints: Symmetry breaking during search
IP Gent, W Harvey, T Kelsey
Principles and Practice of Constraint Programming-CP 2002: 8th International …, 2002
1412002
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
1291996
An empirical analysis of search in GSAT
IP Gent, T Walsh
Journal of Artificial Intelligence Research 1, 47-59, 1993
1271993
Beyond NP: the QSAT phase transition
IP Gent, T Walsh
AAAI/IAAI, 648-653, 1999
1231999
Data structures for generalised arc consistency for extensional constraints
IP Gent, C Jefferson, I Miguel, P Nightingale
AAAI 7, 191-197, 2007
1122007
Morphing: Combining structure and randomness
IP Gent, HH Hoos, P Prosser, T Walsh
Aaai/Iaai 99, 654-660, 1999
1101999
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20