Folgen
Toby Walsh
Toby Walsh
Professor, UNSW and CSIRO Data61
Bestätigte E-Mail-Adresse bei cse.unsw.edu.au - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Handbook of constraint programming
F Rossi, P Van Beek, T Walsh
Elsevier, 2006
2938*2006
Handbook of satisfiability
A Biere, M Heule, H van Maaren
IOS press, 2009
23762009
A theory of abstraction
F Giunchiglia, T Walsh
Artificial intelligence 57 (2-3), 323-389, 1992
5071992
SAT v CSP
T Walsh
International Conference on Principles and Practice of Constraint …, 2000
4142000
Search in a small world
T Walsh
Ijcai 99, 1172-1177, 1999
3731999
CSPLib: a benchmark library for constraints
IP Gent, T Walsh
International Conference on Principles and Practice of Constraint …, 1999
3631999
Towards an understanding of hill-climbing procedures for SAT
IP Gent, T Walsh
AAAI 93 (Citeseer), 28-33, 1993
3311993
PrefLib: A Library for Preferences http://www.preflib.org
N Mattei, T Walsh
International conference on algorithmic decision theory, 259-270, 2013
2752013
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
2712002
The constrainedness of search
IP Gent, E MacIntyre, P Prosser, T Walsh
AAAI/IAAI, Vol. 1, 246-252, 1996
2641996
MaxSAT, hard and soft constraints
CM Li, F Manya
Handbook of satisfiability, 903-927, 2021
2602021
Depth-bounded discrepancy search
T Walsh
IJCAI 97, 1388-1393, 1997
2531997
Stochastic constraint programming
T Walsh
ECAI 2, 111-115, 2002
2412002
Justified representation in approval-based committee voting
H Aziz, M Brill, V Conitzer, E Elkind, R Freeman, T Walsh
Social Choice and Welfare 48 (2), 461-485, 2017
2382017
The SAT phase transition
IP Gent, T Walsh
ECAI 94, 105-109, 1994
2291994
Random constraint satisfaction: Flaws and structure
IP Gent, E MacIntyre, P Prosser, BM Smith, T Walsh
Constraints 6 (4), 345-372, 2001
2042001
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
2011996
The TSP phase transition
IP Gent, T Walsh
Artificial Intelligence 88 (1-2), 349-358, 1996
1911996
Easy problems are sometimes hard
IP Gent, T Walsh
Artificial Intelligence 70 (1-2), 335-345, 1994
1901994
Backbones and backdoors in satisfiability
P Kilby, J Slaney, S Thiébaux, T Walsh
AAAI 5, 1368-1373, 2005
1732005
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20