Toby Walsh
Toby Walsh
Professor, TU Berlin, UNSW, and Data61
Verified email at cse.unsw.edu.au - Homepage
TitleCited byYear
Handbook of constraint programming
F Rossi, P Van Beek, T Walsh
Elsevier, 2006
2299*2006
Handbook of satisfiability
A Biere, M Heule, H van Maaren
IOS press, 2009
16842009
Bounded model checking.
A Biere, A Cimatti, EM Clarke, O Strichman, Y Zhu
Advances in computers 58 (11), 117-148, 2003
9482003
A theory of abstraction
F Giunchiglia, T Walsh
Artificial intelligence 57 (2-3), 323-389, 1992
4611992
SAT v CSP
T Walsh
International Conference on Principles and Practice of Constraintá…, 2000
3592000
CSPLib: a benchmark library for constraints
IP Gent, T Walsh
International Conference on Principles and Practice of Constraintá…, 1999
3341999
Search in a small world
T Walsh
Ijcai 99, 1172-1177, 1999
3261999
Towards an understanding of hill-climbing procedures for SAT
IP Gent, T Walsh
AAAI 93, 28-33, 1993
3101993
The constrainedness of search
IP Gent, E MacIntyre, P Prosser, T Walsh
AAAI/IAAI, Vol. 1, 246-252, 1996
2501996
Breaking row and column symmetries in matrix models
P Flener, AM Frisch, B Hnich, Z Kiziltan, I Miguel, J Pearson, T Walsh
International Conference on Principles and Practice of Constraintá…, 2002
2482002
Depth-bounded discrepancy search
T Walsh
IJCAI 97, 1388-1393, 1997
2291997
Stochastic constraint programming
T Walsh
ECAI 2, 111-115, 2002
2092002
Random constraint satisfaction: Flaws and structure
IP Gent, E Macintyre, P Prosser, BM Smith, T Walsh
Constraints 6 (4), 345-372, 2001
1892001
The SAT phase transition
IP Gent, T Walsh
ECAI 94, 105-109, 1994
1851994
An empirical study of dynamic variable ordering heuristics for the constraint satisfaction problem
IP Gent, E MacIntyre, P Presser, BM Smith, T Walsh
International Conference on Principles and Practice of Constraintá…, 1996
1821996
Easy problems are sometimes hard
IP Gent, T Walsh
Artificial Intelligence 70 (1-2), 335-345, 1994
1801994
MaxSAT, Hard and Soft Constraints.
CM Li, F Manya
Handbook of satisfiability 185, 613-631, 2009
1752009
The TSP phase transition
IP Gent, T Walsh
Artificial Intelligence 88 (1-2), 349-358, 1996
1681996
Preflib: A library for preferences http://www. preflib. org
N Mattei, T Walsh
International Conference on Algorithmic DecisionTheory, 259-270, 2013
1532013
Global constraints for lexicographic orderings
A Frisch, B Hnich, Z Kiziltan, I Miguel, T Walsh
International Conference on Principles and Practice of Constraintá…, 2002
1522002
The system can't perform the operation now. Try again later.
Articles 1–20