Follow
Toby Walsh
Toby Walsh
Professor, UNSW and CSIRO Data61
Verified email at cse.unsw.edu.au - Homepage
Title
Cited by
Cited by
Year
Handbook of constraint programming
F Rossi, P Van Beek, T Walsh
Elsevier, 2006
3362*2006
Handbook of satisfiability
A Biere, M Heule, H van Maaren
IOS press, 2009
29992009
A theory of abstraction
F Giunchiglia, T Walsh
Artificial intelligence 57 (2-3), 323-389, 1992
5671992
SAT v CSP
T Walsh
International Conference on Principles and Practice of Constraint …, 2000
4402000
Search in a small world
T Walsh
Ijcai 99, 1172-1177, 1999
4071999
CSPLib: a benchmark library for constraints
IP Gent, T Walsh
Principles and Practice of Constraint Programming–CP’99: 5th International …, 1999
3721999
PrefLib: A Library for Preferences http://www.preflib.org
N Mattei, T Walsh
Algorithmic Decision Theory: Third International Conference, ADT 2013 …, 2013
3692013
MaxSAT, hard and soft constraints
CM Li, F Manya
Handbook of satisfiability, 903-927, 2021
3462021
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
3452017
Towards an understanding of hill-climbing procedures for SAT
IP Gent, T Walsh
AAAI 93 (Citeseer), 28-33, 1993
3361993
Breaking row and column symmetries in matrix models
P Flener, AM Frisch, B Hnich, Z Kiziltan, I Miguel, J Pearson, T Walsh
Principles and Practice of Constraint Programming-CP 2002: 8th International …, 2002
2872002
The constrainedness of search
IP Gent, E MacIntyre, P Prosser, T Walsh
AAAI/IAAI, Vol. 1, 246-252, 1996
2771996
Verifying properties of binarized deep neural networks
N Narodytska, S Kasiviswanathan, L Ryzhyk, M Sagiv, T Walsh
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
2752018
Depth-bounded discrepancy search
T Walsh
IJCAI 97, 1388-1393, 1997
2621997
The SAT phase transition
IP Gent, T Walsh
ECAI 94, 105-109, 1994
2571994
Stochastic constraint programming
T Walsh
ECAI 2, 111-115, 2002
2542002
Lifted probabilistic inference by first-order knowledge compilation
G Van den Broeck, N Taghipour, W Meert, J Davis, L De Raedt
IJCAI, 2178-2185, 2011
2392011
Gathering strength, gathering storms: The one hundred year study on artificial intelligence (AI100) 2021 study panel report
ML Littman, I Ajunwa, G Berger, C Boutilier, M Currie, F Doshi-Velez, ...
arXiv preprint arXiv:2210.15767, 2022
2262022
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
2161996
Random constraint satisfaction: Flaws and structure
IP Gent, E MacIntyre, P Prosser, BM Smith, T Walsh
Constraints 6, 345-372, 2001
2152001
The system can't perform the operation now. Try again later.
Articles 1–20