Toby Walsh

Professor

Toby Walsh is Laureate Fellow and Scientia Professor of Artificial Intelligence at the Department of Computer Science and Engineering at the University of New South Wales, research group leader at Data61, adjunct professor at QUT, external Professor of the Department of Information Science at Uppsala University and an honorary fellow of the School of Informatics at Edinburgh University.

He was Editor-in-Chief of the Journal of Artificial Intelligence Research, and of AI Communications. He is on the editorial board of the Journal of the ACM, Journal of Automated Reasoning and the Constraints journal. He has been elected a fellow of both the Australian Academy of Science, Association for the Advancement of Artificial Intelligence and the European Coordinating Committee for AI in recognition of his reseach in artificial intelligence and service to the community. He has won the NSW Premier's Prize for Excellende in Engineering and ICT, the Humbolt Award, and the Research Excellence Award of the Association for Constraint Programming. He has been Secretary of the Associtation for Constraint Programming (ACP) and is Editor of CP News, the newsletter of the ACP. He is one of the Editors of the Handbook for Constraint Programming, and the Handbook for Satisfiability.

He has been Program and Conference Chair of the main conferences in Constraint Programming, Automated Reasoning and Artificial Intelligence.

publications

Book Chapters
add
Chircop PA; Surendonk TJ; van den Briel MHL; Walsh T, 2021, 'A Branch-and-Price Framework for the Maximum Covering and Patrol Routing Problem', in Lecture Notes in Management and Industrial Engineering, Springer International Publishing, pp. 59 - 80, http://dx.doi.org/10.1007/978-3-030-60135-5_5
2021
Gaspers S; Walsh T, 2017, 'Preface', in Theory and Applications of Satisfiability Testing – SAT 2017, Springer International Publishing, pp. V - VIII
2017
Bessiere C; Daoudi A; Hebrard E; Katsirelos G; Lazaar N; Mechqrane Y; Narodytska N; Quimper CG; Walsh T, 2016, 'New approaches to constraint acquisition', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 51 - 76, http://dx.doi.org/10.1007/978-3-319-50137-6_3
2016
Conitzer V; Walsh T, 2016, 'Barriers to manipulation in voting', in Handbook of Computational Social Choice, pp. 127 - 145, http://dx.doi.org/10.1017/CBO9781107446984.007
2016
Walsh T, 2011, 'IJCAI International Joint Conference on Artificial Intelligence: Preface', in IJCAI International Joint Conference on Artificial Intelligence
2011
Yaman F; Walsh TJ; Littman ML; desJardins M, 2010, 'Learning Lexicographic Preference Models', in Furnkranz J; Hullermeier E (ed.), PREFERENCE LEARNING, SPRINGER-VERLAG BERLIN, pp. 251 - 272, http://dx.doi.org/10.1007/978-3-642-14125-6_12
2010
Walsh T; Rossi F; van Beek P, 2008, 'Constraint Programming', in Hendler J; Kitano H; Nebel B (ed.), Handbook of Knowledge Representation, edn. Foundations of Artificial Intelligence, Elsevier, Amsterdam, The Netherlands, pp. 181 - 211
2008
Rossi F; van Beek P; Walsh T, 2006, 'Chapter 1 Introduction', in Handbook of Constraint Programming, pp. 3 - 12, http://dx.doi.org/10.1016/s1574-6526(06)80005-2
2006
Gomes C; Walsh T, 2006, 'Chapter 18 Randomness and structure', in Foundations of Artificial Intelligence, edn. C, pp. 639 - 664, http://dx.doi.org/10.1016/S1574-6526(06)80022-2
2006
Rossi F; van Beek P; Walsh T, 2006, 'Chapter 1 Introduction', in Foundations of Artificial Intelligence, edn. C, pp. 3 - 12, http://dx.doi.org/10.1016/S1574-6526(06)80005-2
2006
Gomes C; Walsh T, 2006, 'Randomness and Structure', in Rossi F; VanBeek P; Walsh T (ed.), HANDBOOK OF CONSTRAINT PROGRAMMING, edn. Foundations of Artificial Intelligence, ELSEVIER SCIENCE BV, pp. 639 - 664, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000311250700019&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1
2006
Hnich B; Walsh T, 2002, 'Models of Injection Problems', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 781 - 781, http://dx.doi.org/10.1007/3-540-46135-3_76
2002
Drake L; Frisch A; Walsh T, 2002, 'Automatic Generation of Implied Clauses for SAT', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 783 - 783, http://dx.doi.org/10.1007/3-540-46135-3_78
2002
Basin DA; Walsh T, 1996, 'A Calculus for and Termination of Rippling', in Automated Mathematical Induction, Springer Netherlands, pp. 147 - 180, http://dx.doi.org/10.1007/978-94-009-1675-3_5
1996
Walsh T, 1994, 'Creative Proof Planning', in Artificial Intelligence and Creativity, Springer Netherlands, pp. 181 - 193, http://dx.doi.org/10.1007/978-94-017-0793-0_12
1994
Gent IP; Walsh T, 1994, 'The hardest random SAT problems', in KI-94: Advances in Artificial Intelligence, pp. 355 - 366, http://dx.doi.org/10.1007/3-540-58467-6_31
1994
Giunchiglia F; Walsh T, 1991, 'Using Abstraction', in AISB91, Springer London, pp. 225 - 234, http://dx.doi.org/10.1007/978-1-4471-1852-7_20
1991
Conference Papers
add
Markham A; Powles J; Walsh T; Washington AL, 2020, 'Foreword', in AIES 2020 - Proceedings of the AAAI/ACM Conference on AI, Ethics, and Society, pp. III
2020
Drescher C; Tifrea O; Walsh T, 2020, 'Symmetry-breaking answer set solving', in Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2010
2020
Markham A; Powles J; Walsh T; Washington AL, 2020, 'Foreword', in AIES 2020 - Proceedings of the AAAI/ACM Conference on AI, Ethics, and Society, pp. III
2020
Aleksandrov M; Walsh T, 2020, 'Two algorithms for additive and fair division of mixed manna', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 3 - 17, http://dx.doi.org/10.1007/978-3-030-58285-2_1
2020
Walsh T, 2020, 'Fair division: The computer scientist's perspective', in IJCAI International Joint Conference on Artificial Intelligence, pp. 4966 - 4972
2020
Aziz H; Sun Z; Gaspers S; Walsh T, 2019, 'From matching with diversity constraints to matching with regional quotas', in Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, ASSOC COMPUTING MACHINERY, Montreal, CANADA, pp. 377 - 385, presented at 18th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS), Montreal, CANADA, 13 May 2019 - 17 May 2019, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000474345000047&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1
2019
Gerding EH; Perez-Diaz A; Aziz H; Gaspers S; Marcu A; Mattei N; Walsh T, 2019, 'Fair online allocation of perishable goods and its application to electric vehicle charging', in IJCAI International Joint Conference on Artificial Intelligence, Macao, China, pp. 5569 - 5575, presented at Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI-, Macao, China, 10 August 2019, http://dx.doi.org/10.24963/ijcai.2019/773
2019
Aziz H; Caragiannis I; Igarashi A; Walsh T, 2019, 'Fair allocation of indivisible goods and chores', in IJCAI International Joint Conference on Artificial Intelligence, Macao, China, pp. 53 - 59, presented at Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI-, Macao, China, 10 August 2019, http://dx.doi.org/10.24963/ijcai.2019/8
2019
Aleksandrov M; Ge C; Walsh T, 2019, 'Fair Division Minimizing Inequality', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 593 - 605, http://dx.doi.org/10.1007/978-3-030-30244-3_49
2019
Aleksandrov M; Walsh T, 2019, 'Monotone and Online Fair Division', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 60 - 75, http://dx.doi.org/10.1007/978-3-030-30179-8_5
2019
Aleksandrov M; Walsh T, 2019, 'Strategy-proofness, envy-freeness and pareto efficiency in online fair division with additive utilities', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 527 - 541, http://dx.doi.org/10.1007/978-3-030-29908-8_42
2019
Mattei N; Saffidine A; Walsh T, 2018, 'Fairness in Deceased Organ Matching', in AIES 2018 - Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society, pp. 236 - 242, http://dx.doi.org/10.1145/3278721.3278749
2018
Narodytska N; Sagiv M; Kasiviswanathan S; Ryzhyk L; Walsh T, 2018, 'Verifying properties of binarized deep neural networks', in 32nd AAAI Conference on Artificial Intelligence, AAAI 2018, AAAI Press, New Orleans, Louisiana, pp. 6615 - 6624, presented at The Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18), New Orleans, Louisiana, 02 February 2018 - 07 February 2018, https://aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/16898/16241
2018
Aleksandrov M; Walsh T, 2018, 'Group envy freeness and group pareto efficiency in fair division with indivisible items', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 57 - 72, http://dx.doi.org/10.1007/978-3-030-00111-7_6
2018
Walsh T, 2017, 'The meta turing test', in AAAI Workshop - Technical Report, San Francisco, California USA, pp. 132 - 137, presented at THIRTY-FIRST AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, San Francisco, California USA, 04 February 2017 - 09 February 2017, https://aaai.org/ocs/index.php/WS/AAAIW17/paper/view/15233/14656
2017
Gelain M; Pini MS; Rossi F; Venable KB; Walsh T, 2017, 'A local search approach for incomplete soft constraint problems: Experimental results on meeting scheduling problems', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Padua, Italy, pp. 403 - 418, presented at 14th International Conference, CPAIOR 2017, Padua, Italy, 05 June 2017 - 08 June 2017, http://dx.doi.org/10.1007/978-3-319-59776-8_32
2017
Mattei N; Saffidine A; Walsh T, 2017, 'Mechanisms for online Organ matching', in IJCAI International Joint Conference on Artificial Intelligence, pp. 345 - 351, http://dx.doi.org/10.24963/ijcai.2017/49
2017
Aleksandrov M; Walsh T, 2017, 'Pure Nash equilibria in online fair division', in IJCAI International Joint Conference on Artificial Intelligence, pp. 42 - 48, http://dx.doi.org/10.24963/ijcai.2017/7
2017
Bessiere C; Hebrard E; Katsirelos G; Kiziltan Z; Walsh T, 2017, 'Contraintes de Classement', in Treiziemes Journees Francophones de Programmation par Contraintes, JFPC 2017, pp. 89 - 90
2017
Aleksandrov M; Walsh T, 2017, 'Most Competitive Mechanisms in Online Fair Division', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Dortmund, Germany, pp. 44 - 57, presented at 40th Annual German Conference on AI, Dortmund, Germany, 25 September 2017 - 29 September 2017, http://dx.doi.org/10.1007/978-3-319-67190-1_4
2017
Aleksandrov M; Walsh T, 2017, 'Expected Outcomes and Manipulations in Online Fair Division', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Dortmund, Germany, pp. 29 - 43, presented at 40th Annual German Conference on AI, Dortmund, Germany, 25 September 2017 - 29 September 2017, http://dx.doi.org/10.1007/978-3-319-67190-1_3
2017
Aziz H; Rauchecker G; Schryen G; Walsh T, 2017, 'Algorithms for max-min share fair allocation of indivisible chores', in 31st AAAI Conference on Artificial Intelligence, AAAI 2017, pp. 335 - 341
2017
Aziz H; Goldberg P; Walsh T, 2017, 'Equilibria in Sequential Allocation', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Luxembourg, pp. 270 - 283, presented at 5th International Conference, ADT 2017, Luxembourg, 25 October 2017 - 27 October 2017, http://dx.doi.org/10.1007/978-3-319-67504-6_19
2017
Aziz H; Lev O; Mattei N; Rosenschein JS; Walsh T, 2016, 'Strategyproof peer selection: Mechanisms, analyses, and experiments', in 30th AAAI Conference on Artificial Intelligence, AAAI 2016, pp. 390 - 396
2016
Abeliuk A; Aziz H; Berbeglia G; Gaspers S; Kalina P; Mattei N; Peters D; Stursberg P; Van Hentenryck P; Walsh T, 2016, 'Interdependent scheduling games', in IJCAI International Joint Conference on Artificial Intelligence, pp. 2 - 9
2016
Aziz H; Schlotter I; Walsh T, 2016, 'Control of fair division', in IJCAI International Joint Conference on Artificial Intelligence, New York City, USA, pp. 67 - 73, presented at 25th International Joint Conference on Artificial Intelligence, New York City, USA, 09 July 2016 - 15 July 2016, http://www.cse.unsw.edu.au/~tw/aswijcai16.pdf
2016
Aziz H; Kalinowski T; Walsh T; Xia L, 2016, 'Welfare of Sequential allocation mechanisms for indivisible goods', in Frontiers in Artificial Intelligence and Applications, pp. 787 - 794, http://dx.doi.org/10.3233/978-1-61499-672-9-787
2016
Van Bevern R; Komusiewicz C; Molter H; Niedermeier R; Sorge M; Walsh T, 2016, 'H-index manipulation by undoing merges', in Frontiers in Artificial Intelligence and Applications, pp. 895 - 903, http://dx.doi.org/10.3233/978-1-61499-672-9-895
2016
Bessiere C; Hebrard E; Katsirelos G; Kiziltan Z; Walsh T, 2016, 'Ranking constraints', in IJCAI International Joint Conference on Artificial Intelligence, pp. 705 - 711
2016
Walsh T, 2016, 'Strategic behaviour when allocating indivisible goods', in 30th AAAI Conference on Artificial Intelligence, AAAI 2016, pp. 4177 - 4183
2016
Albrecht SV; Bouchard B; Brownstein JS; Buckeridge DL; Caragea C; Carter KM; Darwiche A; Fortuna B; Francillette Y; Gaboury S; Giles CL; Grobelnik M; Hruschka E; Kephart JO; Kordjamshidi P; Lisy V; Magazzeni D; Marques-Silva J; Marquis P; Martinez D; Michalowski M; Noorian Z; Pontelli E; Rogers A; Rosenthal S; Roth D; Sanner S; Shaban-Nejad A; Sinha A; Son TC; Streilein W; Thiebaux S; Wallace BC; Walsh T; Witbroc M; Zhang J, 2016, 'Reports of the 2016 AAAI workshop program', in AI Magazine, pp. 99 - 108, http://dx.doi.org/10.1609/aimag.v37i3.2680
2016
Abeliuk A; Aziz H; Berbeglia G; Gaspers S; Kalina P; Mattei N; Peters D; Stursberg P; Hentenryck PV; Walsh T, 2016, 'Interdependent Scheduling Games.', in Kambhampati S (ed.), IJCAI, IJCAI/AAAI Press, pp. 2 - 9, presented at Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, http://www.ijcai.org/Proceedings/2016
2016
Walsh T, 2015, 'Challenges in resource and cost allocation', in Proceedings of the National Conference on Artificial Intelligence, pp. 4073 - 4077
2015
Loreggia A; Narodytska N; Rossi F; Venable KB; Walsh T, 2015, 'Controlling elections by replacing candidates or votes', in Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, pp. 1737 - 1738
2015
Aziz H; Gaspers S; Mackenzie S; Mattei N; Narodytska N; Walsh T, 2015, 'Equilibria Under the Probabilistic Serial Rule.', in Yang Q; Wooldridge MJ (ed.), IJCAI, AAAI Press, pp. 1105 - 1112, presented at Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, http://ijcai.org/proceedings/2015
2015
Aziz H; Gaspers S; Gudmundsson J; Mackenzie S; Mattei N; Walsh T, 2015, 'Computational Aspects of Multi-Winner Approval Voting.', in Weiss G; Yolum P; Bordini RH; Elkind E (eds.), AAMAS, ACM, pp. 107 - 115, presented at Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015, http://dl.acm.org/citation.cfm?id=2772879
2015
Aziz H; Brill M; Conitzer V; Elkind E; Freeman R; Walsh T, 2015, 'Justified representation in approval-based committee voting', in Proceedings of the National Conference on Artificial Intelligence, pp. 784 - 790
2015
Aziz H; Gretton C; Kilby P; Mattei N; Walsh T, 2015, 'A study of proxies for shapley allocations of transport costs', in Artificial Intelligence for Transportation: Advice, Interactivity and Actor Modeling: Papers from the 2015 AAAI Workshop, Austin, Texas USA, pp. 2 - 10, presented at 2015 AAAI Workshop, Austin, Texas USA, 25 January 2015 - 26 January 2015, https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=2&cad=rja&uact=8&ved=0ahUKEwiIh-adgu_MAhXF3KYKHYKUAA0QFggpMAE&url=https://www.aaai.org/ocs/index.php/WS/AAAIW15/paper/download/10112/10152&usg=AFQjCNGfC0G1rW9RzhV2C1ywVc3P9amh8g&sig2=j7KqOOAaacYhyn-rKasvqw&bvm=bv.122676328,d.dGY
2015
Aziz H; Gaspers S; Mackenzie S; Mattei N; Narodytska N; Walsh T, 2015, 'Manipulating the Probabilistic Serial Rule.', in Weiss G; Yolum P; Bordini RH; Elkind E (eds.), AAMAS, ACM, pp. 1451 - 1459, presented at Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015, http://dl.acm.org/citation.cfm?id=2772879
2015
Walsh T, 2015, 'Algorithmic decision theory: 4th international conference, ADT 2015 Lexington, KY, USA, September 27-30, 2015 proceedings', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), http://dx.doi.org/10.1007/978-3-319-23114-3
2015
Bessiere C; Hebrard E; Katsirelos G; Walsh T, 2015, 'Reasoning about connectivity constraints', in IJCAI International Joint Conference on Artificial Intelligence, pp. 2568 - 2574
2015
Aleksandrov M; Aziz H; Gaspers S; Walsh T, 2015, 'Online Fair Division: Analysing a Food Bank Problem.', in Yang Q; Wooldridge MJ (ed.), IJCAI, AAAI Press, pp. 2540 - 2546, presented at Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, http://ijcai.org/proceedings/2015
2015
Bredereck R; Chen J; Niedermeier R; Walsh T, 2015, 'Parliamentary voting procedures: Agenda control, manipulation, and uncertainty', in IJCAI International Joint Conference on Artificial Intelligence, pp. 164 - 170
2015
Aziz H; Walsh T; Xia L, 2015, 'Possible and necessary allocations via sequential mechanisms', in IJCAI International Joint Conference on Artificial Intelligence, pp. 468 - 474
2015
Van Bevern R; Komusiewicz C; Niedermeier R; Sorge M; Walsh T, 2015, 'H-index manipulation by merging articles: Models, theory, and experiments', in IJCAI International Joint Conference on Artificial Intelligence, pp. 808 - 814
2015
Gaspers S; Naroditskiy V; Narodytska N; Walsh T, 2014, 'Possible and necessary winner problem in social polls', in 13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014, pp. 613 - 620
2014
Bessiere C; Hebrard E; Katsirelos G; Kiziltan Z; Picard-Cantin E; Quimper CG; Walsh T, 2014, 'The balance constraint family', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 174 - 189, http://dx.doi.org/10.1007/978-3-319-10428-7_15
2014
Bessiere C; Hebrard E; Katsirelos G; Kiziltan Z; Narodytska N; Walsh T, 2014, 'Reasoning about constraint models', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 795 - 808, http://dx.doi.org/10.1007/978-3-319-13560-1_63
2014
Bessiere C; Coletta R; Hebrard E; Katsirelos G; Lazaar N; Narodytska N; Quimper CG; Walsh T, 2014, 'Constraint acquisition via partial queries', in Dixiemes Journees Francophones de Programmation par Contraintes, JFPC 2014, pp. 275 - 282
2014
Gaspers S; Naroditskiy V; Narodytska N; Walsh T, 2014, 'Possible and necessary winner problem in social polls.', in Bazzan ALC; Huhns MN; Lomuscio A; Scerri P (eds.), AAMAS, IFAAMAS/ACM, pp. 613 - 620, presented at International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014, http://dl.acm.org/citation.cfm?id=2615731
2014
Mattei N; Narodytska N; Walsh T, 2014, 'How hard is it to control an election by breaking ties?', in Frontiers in Artificial Intelligence and Applications, pp. 1067 - 1068, http://dx.doi.org/10.3233/978-1-61499-419-0-1067
2014
Aziz H; Gaspers S; Mackenzie S; Walsh T, 2014, 'Fair assignment of indivisible objects under ordinal preferences', in 13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014, pp. 1305 - 1312
2014
Aziz H; Walsh T, 2014, 'Justified representation in Approval-Based committee voting', in AAAI Workshop - Technical Report, pp. 20 - 25
2014
Narodytska N; Loreggia A; Rossi F; Venable KB; Walsh T, 2014, 'Controlling elections by replacing candidates: Theoretical and experimental results', in AAAI Workshop - Technical Report, pp. 61 - 66
2014
Aziz H; Gaspers S; Mackenzie S; Mattei N; Stursberg P; Walsh T, 2014, 'Fixing a balanced knockout tournament', in Proceedings of the National Conference on Artificial Intelligence, pp. 552 - 558
2014
Walsh T, 2014, 'Allocation in practice', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 13 - 24, http://dx.doi.org/10.1007/978-3-319-11206-0_2
2014
Gaspers S; Naroditskiy V; Narodytska N; Walsh T, 2014, 'Possible and Necessary Winner Problem in Social Polls (extended abstract)', in Gini ML; Shehory O; Ito T; Jonker CM (eds.), 12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013, IFAAMAS, Saint Paul, pp. 1131 - 1132, presented at roceedings of the 2013 international conference on Autonomous agents and multi-agent system, Saint Paul, 06 May 2014 - 10 May 2014, http://dl.acm.org/citation.cfm?id=2484920
2014
Aziz H; Gaspers S; Mackenzie S; Walsh T, 2014, 'Fair Assignment Of Indivisible Objects Under Ordinal Preferences', in AAMAS'14: PROCEEDINGS OF THE 2014 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS, ASSOC COMPUTING MACHINERY, Paris, FRANCE, pp. 1305 - 1312, presented at International Conference on Autonomous Agents and Multiagent Systems (AAMAS), Paris, FRANCE, 05 May 2014 - 09 May 2014, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000465207100167&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1
2014
Walsh T, 2014, 'The PeerRank method for peer assessment', in Frontiers in Artificial Intelligence and Applications, pp. 909 - 914, http://dx.doi.org/10.3233/978-1-61499-419-0-909
2014
Artigues C; Hebrard E; Mayer-Eichberger V; Siala M; Walsh T, 2014, 'SAT and hybrid models of the car sequencing problem', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 268 - 283, http://dx.doi.org/10.1007/978-3-319-07046-9_19
2014
Narodytska N; Walsh T, 2014, 'The computational impact of partial votes on strategic voting', in Frontiers in Artificial Intelligence and Applications, pp. 657 - 662, http://dx.doi.org/10.3233/978-1-61499-419-0-657
2014
Bessiere C; Hebrard E; Ménard MA; Quimper CG; Walsh T, 2014, 'Buffered resource constraint: Algorithms and complexity', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 318 - 333, http://dx.doi.org/10.1007/978-3-319-07046-9_23
2014
Narodytska N; Petit T; Siala M; Walsh T, 2013, 'Three generalizations of the FOCUS constraint', in IJCAI International Joint Conference on Artificial Intelligence, pp. 630 - 636
2013
Chircop PA; Surendonk TJ ; van den Briel MHL; Walsh T, 2013, 'A column generation approach for the scheduling of patrol boats to provide complete patrol coverage', in Piantadosi J; Anderssen RS; Boland J (eds.), Proceedings 20th International Congress on Modelling and Simulation (MODSIM2013), Modelling and Simulation Society of Australia and New Zealand, Adelaide, Australia, pp. 1110 - 1116, presented at 20th International Congress on Modelling and Simulation, Adelaide, Australia, 01 December 2013 - 06 December 2013, http://www.mssanz.org.au/modsim2013/
2013
Mattei N; Walsh T, 2013, 'PrefLib: A library for preferences http://www.preflib.org', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 259 - 270, http://dx.doi.org/10.1007/978-3-642-41575-3_20
2013
Aziz H; Gaspers S; Mattei N; Narodytska N; Walsh T, 2013, 'Ties matter: Complexity of manipulation when tie-breaking with a random vote', in desJardins, M; Littman M (ed.), Proceedings of the 27th AAAI Conference on Artificial Intelligence, AAAI 2013, Bellevue, Washington, USA, pp. 74 - 80, presented at 27th AAAI Conference on Artificial Intelligence, AAAI 2013, Bellevue, Washington, USA, 14 July 2013 - 18 July 2013, http://dblp.uni-trier.de/db/conf/aaai/aaai2013.html#AzizGMNW13
2013
Kalinowski T; Narodytska N; Walsh T; Xia L, 2013, 'Strategic behavior when allocating indivisible goods sequentially', in Proceedings of the 27th AAAI Conference on Artificial Intelligence, AAAI 2013, pp. 452 - 458
2013
Bessiere C; Carbonnel C; Hebrard E; Katsirelos G; Walsh T, 2013, 'Detecting and exploiting subproblem tractability', in Rossi F (ed.), Proceedings of the 23rd International Joint Conference on Artificial Intelligence, AAAI Press/International Joint Conferences on Artificial Intelligence, Beijing, China, pp. 468 - 474, presented at 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), Beijing, China, 03 August 2013 - 09 August 2013, http://ijcai.org/papers13/Papers/IJCAI13-077.pdf
2013
Bessiere C; Coletta R; Hebrard E; Katsirelos G; Lazaar N; Narodytska N; Quimper CG; Walsh T, 2013, 'Constraint acquisition via partial queries', in IJCAI International Joint Conference on Artificial Intelligence, pp. 475 - 481
2013
Kalinowski T; Narodytska N; Walsh T, 2013, 'A social welfare optimal sequential allocation procedure', in IJCAI International Joint Conference on Artificial Intelligence, pp. 227 - 233, presented at Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, 03 August 2013 - 09 April 2013, http://dblp.uni-trier.de/db/conf/ijcai/ijcai2013.html#KalinowskiNW13
2013
Bessiere C; Kiziltan Z; Rappini A; Walsh T, 2013, 'A framework for combining set variable representations', in Proceedings of the 10th Symposium on Abstraction, Reformulation, and Approximation, SARA 2013, pp. 25 - 33
2013
Aleksandrov M; Barahona P; Kilby P; Walsh T, 2013, 'Heuristics and policies for online pickup and delivery problems', in AAAI Workshop - Technical Report, pp. 2 - 7
2013
Narodytska N; Walsh T, 2013, 'Manipulating Two Stage Voting Rules', in Gini M; Shehory O; Ito T; Jonker C (eds.), 12th International Conference on Autonomous Agents and Multiagent System (AAMAS 2013), Saint Paul, Minnesota, USA, pp. 423 - 430, presented at 12th International Conference on Autonomous Agents and Multiagent System (AAMAS 2013), Saint Paul, Minnesota, USA, 06 May 2013 - 10 May 2013
2013
Chu G; Gaspers S; Narodytska N; Schutt A; Walsh T, 2013, 'On the complexity of global scheduling constraints under structural restrictions', in IJCAI International Joint Conference on Artificial Intelligence, pp. 503 - 509
2013
Narodytska N; Walsh T, 2013, 'An adaptive model restarts heuristic', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 369 - 377, http://dx.doi.org/10.1007/978-3-642-38171-3_28
2013
Grandi U; Loreggia A; Rossi F; Venable KB; Walsh T, 2013, 'Restricted manipulation in iterative voting: Condorcet efficiency and borda score', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 181 - 192, http://dx.doi.org/10.1007/978-3-642-41575-3_14
2013
Narodytska N; Walsh T, 2013, 'Breaking symmetry with different orderings', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 545 - 561, http://dx.doi.org/10.1007/978-3-642-40627-0_41
2013
Gaspers S; Kalinowski T; Narodytska N; Walsh T, 2013, 'Coalitional manipulation for Schulze's rule.', in Gini ML; Shehory O; Ito T; Jonker CM (eds.), AAMAS, IFAAMAS, pp. 431 - 438, presented at International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '13, Saint Paul, MN, USA, May 6-10, 2013, http://dl.acm.org/citation.cfm?id=2484920
2013
Drescher C; Walsh T, 2012, 'Answer Set Solving with Lazy Nogood Generation', in Technical Communications of the 28th International Conference on Logic Programming (ICLP'12), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, pp. 188 - 200, presented at 28th International Conference on Logic Programming, Budapest, Hungary, 04 September 2012 - 08 September 2012, http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.188
2012
Walsh T; Xia L, 2012, 'Lot-based voting rules', in 11th International Conference on Autonomous Agents and Multiagent Systems 2012, AAMAS 2012: Innovative Applications Track, pp. 344 - 351
2012
Salvagnin D; Walsh T, 2012, 'A hybrid MIP/CP approach for multi-activity shift scheduling', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 633 - 646, http://dx.doi.org/10.1007/978-3-642-33558-7_46
2012
Harabor D; Kilby P; Walsh T; Antsfeld L, 2012, 'TRANSIT Routing on Video Game Maps', in Proceedings of the Eighth Artificial Intelligence and Interactive Digital Entertainment International Conference, AAAI Press, Menlo Park, California, pp. 2 - 7, presented at The Eighth Annual AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, Stanford University, Palo Alto, California, 08 October 2012 - 12 October 2012, http://www.aaai.org/ocs/index.php/AIIDE/AIIDE12/paper/view/5459
2012
Law YC; Lee JHM; Woo MHC; Walsh T, 2011, 'A comparison of lex bounds for multiset variables in constraint programming', in AAAI-11 / IAAI-11 - Proceedings of the 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AI Access Foundation, El Segundo, CA, United States, pp. 61 - 67, presented at 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11, San Francisco, CA, United States, 07 August 2011 - 11 August 2011
2011
Davis J; Katsirelos G; Narodytska N; Walsh T, 2011, 'Complexity of and Algorithms for Borda Manipulation', in 25th AAAI conference on artificial intelligence, AAAI-11, AAAI, San Francisco USA, pp. 657 - 662, presented at 25th AAAI conference on Artificial Intelligence, AAAI-11, San Francisco USA, 07 August 2011 - 11 August 2011, http://www.aaai.org/ocs/index.php/AAAI/AAAI11/paper/view/3613
2011
Brafman R; Pilotto E; Rossi F; Salvagnin D; Venable KB; Walsh T, 2011, 'The next best solution', in Proceedings of the National Conference on Artificial Intelligence, pp. 1537 - 1540
2011
Pini MS; Rossi F; Venable K; Walsh T, 2011, 'Weights in stable marriage problems increase manipulation opportunities', in TARK XIII: Theoretical Aspects of Rationality and Knowledge - Proceedings of the 13th Conference, TARK 2011, ACM, New York, NY, USA, pp. 200 - 204, presented at 13th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2011, Gronigen, Netherlands, 12 July 2011 - 14 July 2011, http://dx.doi.org/10.1145/2000378.2000402
2011
Gelain M; Pini MS; Rossi F; Venable KB; Walsh T, 2011, 'Male optimal and unique stable marriages with partially ordered preferences', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 44 - 55, http://dx.doi.org/10.1007/978-3-642-22427-0_4
2011
Drescher C; Walsh T, 2011, 'Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation', in AAAI-11 / IAAI-11 - Proceedings of the 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AI Access Foundation, El Segundo, CA, United States, pp. 1772 - 1773, presented at 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11, San Francisco, CA, United States, 07 August 2011 - 11 August 2011
2011
Bessiere C; Katsirelos G; Narodytska N; Quimper C; Walsh T, 2011, 'Propagating Conjunctions of AllDifferent Constraints.', in 24th AAAI conference on artificial intelligence, AAAI-10, AAAI Press, San Francisco USA, pp. 27 - 32, presented at 25th AAAI conference on Artificial Intelligence, AAAI-11, San Francisco USA, 07 August 2011 - 11 August 2011, http://www.aaai.org/ocs/index.php/AAAI/AAAI10/paper/view/1815
2011
Pini MS; Rossi F; Walsh T; Venable KB, 2011, 'Possible and necessary winners in voting trees: Majority graphs vs. Profiles', in 10th International Conference on Autonomous Agents and Multiagent Systems 2011, AAMAS 2011, pp. 289 - 296
2011
Narodytska N; Walsh T; Xia L, 2011, 'Manipulation of Nanson's and Baldwin's Rules', in 25th AAAI conference on artificial intelligence, AAAI-11, AAAI, San Francisco USA, pp. 713 - 718, presented at 25th AAAI conference on Artificial Intelligence, AAAI-11, San Francisco USA, 07 August 2011 - 11 August 2011, http://www.aaai.org/ocs/index.php/AAAI/AAAI11/paper/view/3612
2011
Heuel M; Walsh T, 2011, 'Symmetry within Solutions', in 24th AAAI conference on artificial intelligence, AAAI-10, AAAI Press, San Francisco USA, pp. 77 - 82, presented at 25th AAAI conference on Artificial Intelligence, AAAI-11, San Francisco USA, 07 August 2011 - 11 August 2011, http://www.aaai.org/ocs/index.php/AAAI/AAAI10/paper/view/1794
2011
Conitzer V; Walsh T; Xia L, 2011, 'Dominating manipulations in voting with partial information', in AAAI-11 / IAAI-11 - Proceedings of the 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AI Access Foundation, El Segundo, CA, United States, pp. 638 - 643, presented at 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11, San Francisco, CA, United States, 07 August 2011 - 11 August 2011
2011
Drescher C; Walsh T, 2011, 'Modelling Grammar Constraints with Answer Set Programming', in Technical Communications of the 27th International Conference on Logic Programming, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Lexington, Kentucky, USA, pp. 28 - 39, presented at 27th International Conference on Logic Programming, Lexington, Kentucky, USA, 06 July 2011 - 10 July 2011, http://dx.doi.org/10.4230/LIPIcs.ICLP.2011.40
2011
Drescher C; Walsh T, 2011, 'Translation-based Constraint Answer Set Solving', in PROCEEDINGS OF THE TWENTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI11), AAAI Press, Barcelona, pp. 2596 - 2601, presented at 22nd International Joint Conference on Artificial Intelligence, Barcelona, 16 July 2011 - 22 July 2011, http://dx.doi.org/10.5591/978-1-57735-516-8/IJCAI11-432
2011
Walsh T, 2011, 'Online Cake Cutting', in Algorithmic Decision Theory. Proceedings Second International Conference, ADT 2011, Springer Verlag, Berlin, Germany, pp. 292 - 305, presented at Algorithmic Decision Theory. Second International Conference, ADT 2011, Piscataway, NJ, USA, 26 October 2011 - 28 October 2011, http://dx.doi.org/10.1007/978-3-642-24873-3_22
2011
Bessiere C; Narodytska N; Quimper C; Walsh T, 2011, 'The allDifferent constraint with precedences', in Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. Lecture notes in computer scinece, 2011, volume 6697, Springer Verlag, Berlin, Germany, pp. 36 - 52, presented at 8th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2011, Berlin, Germany, 23 May 2011 - 27 May 2011, http://dx.doi.org/10.1007/978-3-642-21311-3_6
2011
Gelain M; Pini MS; Rossi F; Venable KB; Walsh T, 2011, 'Procedural fairness in stable marriage problems', in 10th International Conference on Autonomous Agents and Multiagent Systems 2011, AAMAS 2011, pp. 1141 - 1142
2011
Drescher C; Eiter T; Fink M; Krennwallner T; Walsh T, 2011, 'Symmetry breaking for distributed multi-context systems', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 26 - 39, http://dx.doi.org/10.1007/978-3-642-20895-9_5
2011
Drescher C; Eiter T; Fink M; Krennwallner T; Walsh T, 2011, 'Symmetry Breaking for Distributed Multi-Context Systems', in Delgrande JP; Faber W (ed.), Logic Programming and Nonmonotonic Reasoning, Springer, Corunna, pp. 26 - 39, presented at 12th International Conference on Logic Programming and Nonmonotonic Reasoning, Corunna, 15 September 2011 - 19 September 2011, http://dx.doi.org/10.1007/978-3-642-20895-9
2011
Gelain M; Pini MS; Rossi F; Venable K; Walsh T, 2011, 'A local search approach to solve incomplete fuzzy CSPs', in ICAART 2011. Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, INSTICC Press, Setubal, Portugal, pp. 582 - 585, presented at ICAART 2011. 3rd International Conference on Agents and Artificial Intelligence, Rome, Italy, 28 January 2011 - 30 January 2011, http://www.nicta.com.au/pub?id=5000
2011
Pini MS; Rossi F; Venable K; Walsh T, 2011, 'Stability in matching problems with weighted preferences', in ICAART 2011. Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, INSTICC Press, Setubal, Portugal, pp. 45 - 53, presented at ICAART 2011. 3rd International Conference on Agents and Artificial Intelligence, Rome, Italy, 28 January 2011 - 30 January 2011, http://www.nicta.com.au/pub?id=4999
2011
Drescher C; Tifrea O; Walsh T, 2010, 'Symmetry-breaking answer set solving', in Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2010, Edinburgh, presented at Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) 2010, Edinburgh, 20 July 2010, https://arxiv.org/abs/1008.1809
2010
Walsh T, 2010, 'Online Cake Cutting', in Proceedings of the Third International Workshop on Computational Social Choice, Düsseldorf University Press, Dusseldorf, pp. 247 - 258, presented at Proceedings of the Third International Workshop on Computational Social Choice (COMSOC-2010), Dusseldorf, 13 September 2010 - 16 September 2010, http://www.cse.unsw.edu.au/~tw/wcomsoc10.pdf
2010
Walsh T, 2010, 'Is computational complexity a barrier to manipulation?', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 1 - 7, http://dx.doi.org/10.1007/978-3-642-14977-1_1
2010
Gelain M; Pini MS; Rossi F; Venable B; Walsh T, 2010, 'Male optimality and uniqueness in stable marriage problems with partial orders', in Model Checking and Artificial Intelligence - 6th International Workshop, MoChArt 2010, Revised Selected and Invited Papers, Springer Verlag, Heidelberg, Germany, pp. 1387 - 1388, presented at AAMAS 2010, Toronto, Canada, 10 May 2010 - 14 May 2010, http://dx.doi.org/10.1145/1838206.183839
2010
Walsh T, 2010, 'Symmetry within and between Solutions', in Zhang B-T; Orgun MA (ed.), PRICAI 2010: Trends in Artificial Intelligence, 11th Pacific Rim International Conference on Artificial Intelligenc, Springer, Berlin, pp. 11 - 13, presented at 11th Pacific Rim International Conference on Artificial Intelligence, Daegu, Korea, 30 August 2010 - 02 September 2010, http://dx.doi.org/10.1007/978-3-642-15246-7_4
2010
Gelain M; Pini MS; Rossi F; Venable B; Walsh T, 2010, 'Local Search for Stable Marriage Problems', in Proceedings of the Third International Workshop on Computational Social Choice, Düsseldorf University Press, Dusseldorf, pp. 367 - 378, presented at Proceedings of the Third International Workshop on Computational Social Choice (COMSOC-2010), Dusseldorf, 13 September 2010 - 16 September 2010, http://www.cse.unsw.edu.au/~tw/gprvwcomsoc10.pdf
2010
Walsh T, 2010, 'Where are the hard manipulation problems?', in Proceedings of the Third International Workshop on Computational Social Choice, Düsseldorf University Press, Dusseldorf, pp. 9 - 10, presented at Proceedings of the Third International Workshop on Computational Social Choice (COMSOC-2010), Dusseldorf, 13 September 2010 - 16 September 2010, http://www.cse.unsw.edu.au/~tw/wcomsoc10b.pdf
2010
Davies J; Katsirelos G; Narodytska N; Walsh T, 2010, 'An Empirical Study of Borda Manipulation', in Proceedings of the Third International Workshop on Computational Social Choice, Düsseldorf University Press, Dusseldorf, pp. 91 - 102, presented at Proceedings of the Third International Workshop on Computational Social Choice (COMSOC-2010), Dusseldorf, 13 September 2010 - 16 September 2010, http://www.cse.unsw.edu.au/~tw/dknwcomsoc10.pdf
2010
Pini MS; Rossi F; Venable K; Walsh T, 2010, 'Stable marriage problems with quantitative preferences.', in Proceedings of the Third International Workshop on Computational Social Choice, Düsseldorf University Press, Dusseldorf, pp. 355 - 366, presented at Proceedings of the Third International Workshop on Computational Social Choice (COMSOC-2010), Dusseldorf, 13 September 2010 - 16 September 2010, http://www.cse.unsw.edu.au/~tw/prvwcomsoc10.pdf
2010
Walsh T, 2010, 'Parameterized complexity results in symmetry breaking', in Lecture Notes in Computer Science, Volume 6478, Springer, Chennai, India, pp. 4 - 13, presented at 5th International Symposium on Parameterized and Exact Computation, IPEC 2010, Chennai, India, 13 December 2010 - 15 December 2010, http://dx.doi.org/10.1007/978-3-642-17493-3_3
2010
Brafman R; Rossi F; Salvagnin D; Venable B; Walsh T, 2010, 'Finding the Next Solution in Constraint-and Preference-Based Knowledge Representation Formalism', in 12th International conference on principles of knowledge representation and reasoning, KR-10, AAAI Press, Toronto, ON. Canada, pp. 425 - 433, presented at 12th International conference on principles of knowledge representation and reasoning, KR 2010, Toronto, ON. Canada, 09 May 2010 - 13 May 2010, http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1348
2010
Thanasis B; Paparrizou A; Stergiou K; Walsh T, 2010, 'Improving the Performance of maxRPC', in Principles and Practice of Constraint Programming – CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings, Springer, Berlin / Heidelberg, pp. 69 - 83, presented at Principles and Practice of Constraint Programming, St. Andrews, Scotland,, 06 September 2010 - 10 September 2010, http://dx.doi.org/10.1007/978-3-642-15396-9_9
2010
Walsh T, 2010, 'An Empirical Study of the Manipulability of Single Transferable Voting', in ECAI 2010, 16th European Conference on Artificial Intelligence, IOS Press, Amsterdam, pp. 257 - 262, presented at European Conference on Artificial Intelligence, Lisbon, 16 August 2010 - 20 August 2010, http://dx.doi.org/10.3233/978-1-60750-606-5-257
2010
Katsirelos G; Walsh T, 2010, 'Symmetries of Symmetry Breaking Constraints', in ECAI 2010, 16th European Conference on Artificial Intelligence, IOS Press, Amsterdam, pp. 861 - 866, presented at European Conference on Artificial Intelligence, Lisbon, 16 August 2010 - 20 August 2010, http://dx.doi.org/10.3233/978-1-60750-606-5-861
2010
Bessiere C; Katsirelos G; Narodytska N; Quimper CG; Walsh T, 2010, 'Decomposition of the NValue constraint', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 114 - 128, http://dx.doi.org/10.1007/978-3-642-15396-9_12
2010
Gelain M; Pini MS; Rossi F; Venable B; Walsh T, 2010, 'Local search algorithms on the Stable Marriage Problem: Experimental Studies', in ECAI 2010, 16th European Conference on Artificial Intelligence, IOS Press, Amsterdam, pp. 1085 - 1086, presented at European Conference on Artificial Intelligence, Lisbon, 16 August 2010 - 20 August 2010, http://dx.doi.org/10.3233/978-1-60750-606-5-1085
2010
Katsirelos G; Narodytska N; Walsh T, 2010, 'On the complexity and completeness of static constraints for breaking row and column symmetry', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 305 - 320, http://dx.doi.org/10.1007/978-3-642-15396-9_26
2010
Gelain M; Pini MS; Rossi F; Venable B; Walsh T, 2010, 'Local Search for Stable Marriage Problems with Ties and Incomplete Lists', in PRICAI 2010: Trends in Artificial Intelligence, 11th Pacific Rim International Conference on Artificial Intelligenc, Springer, Berlin, pp. 64 - 75, presented at 11th Pacific Rim International Conference on Artificial Intelligence, Daegu, Korea, 30 August 2010 - 02 September 2010, http://dx.doi.org/10.1007/978-3-642-15246-7_9
2010
Pini MS; Rossi F; Venable B; Walsh T, 2009, 'Manipulation and gender neutrality in stable marraige peocedures', in AAMAS2009 proceedings, IFAAMAS, Budapest, Hungary, pp. 1038 - 1045, presented at AAMAS 2009 Budapest, Budapest, Hungary, 10 May 2009 - 15 May 2009, http://dx.doi.org/10.1145/1558013.1558105
2009
Katsirelos G; Narodytska N; Walsh T, 2009, 'Reformulating Global Grammar Constraints', in Integration of AI and OR techniques in constraint programming for combinatorial optimization, Springer, Pittsburgh, PA, USA, pp. 132 - 147, presented at 6th International Conference CPAIOR 2009, Pittsburgh, PA, USA, 27 May 2009 - 31 May 2009, http://dx.doi.org/10.1007/978-3-642-01929-6_11
2009
Katsirelos G; Maneth S; Narodytska N; Walsh T, 2009, 'Restricted Global Grammar Constraints', in Principles and Practice of Constraints Programming - CP 2009, Springer, Berlin, pp. 501 - 508, presented at 15th International Conference CP 2009, Lisbon, Portugal, 20 September 2009 - 24 September 2009, http://dx.doi.org/10.1007/978-3-642-04244-7_40
2009
Bessiere C; Katsirelos G; Narodytska N; Quimper C; Walsh T, 2009, 'Decompositions of All Different Global Cardinality and Related Constraints', in Proceedings of the International Joint Conference on Arti cial Intelligence, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, pp. 419 - 424, presented at 21st International Joint Conference on Artificial inteliigence, Pasadena USA, 11 July 2009 - 17 July 2009, http://portal.acm.org/citation.cfm?id=1661512&dl=GUIDE&coll=GUIDE
2009
Pilotto E; Rossi F; Venable B; Walsh T, 2009, 'Compact Preference Representation in Stable Marraige Problems', in Lecture Notes in Artificial Intelligence 5783, Springer, Belrin / Heidelberg, pp. 390 - 401, presented at ADT 2009, Venice, Italy, 20 October 2009 - 23 October 2009, http://dx.doi.org/10.1007/978-3-642-04428-1_34
2009
Walsh T, 2009, 'Where are the really hard manipulation problems? The phase transition in manipulating the veto rule', in Proceedings of the International Joint Conference on Arti cial Intelligence, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, pp. 324 - 329, presented at 21st International Joint Conference on Artificial inteliigence, Pasadena USA, 11 July 2009 - 17 July 2009, http://ijcai.org/papers09/Papers/IJCAI09-062.pdf
2009
Russell T; Walsh T, 2009, 'Manipulating Tournaments in Cup and Round Robin Competitions', in Lecture Notes in Artificial Intelligence 5783, Springer, Belrin / Heidelberg, pp. 26 - 37, presented at ADT 2009, Venice, Italy, 20 October 2009 - 23 October 2009, http://dx.doi.org/10.1007/978-3-642-04428-1_3
2009
Bessiere C; Katsirelos G; Narodytska N; Walsh T, 2009, 'Circuit Complexity and Decomposition of Global Constraints', in Proceedings of the International Joint Conference on Arti cial Intelligence, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, pp. 412 - 418, presented at 21st International Joint Conference on Artificial inteliigence, Pasadena USA, 11 July 2009 - 17 July 2009, http://ijcai.org/papers09/Papers/IJCAI09-076.pdf
2009
Haim S; Walsh T, 2009, 'Restart Strategy Selection using Machine Learning Techniques', in Lecture Notes in Computer Science (Vol 5584), Springer, Germany, pp. 312 - 325, presented at Theory and Applications of Satisfiability testing - SAT 2009, Swansea, Wales, UK, 30 June 2009 - 03 July 2009, http://dx.doi.org/10.1007/978-3-642-02777-2_30
2009
Katsirelos G; Walsh T, 2009, 'Posting static symmetry breaking constraints dynamically', in International Symposium on Combinatorial Search, SoCS 2009
2009
Bessiere C; Hebrard E; Hnich B; Kiziltan Z; Walsh T, 2008, 'SLIDE: a useful special case of the CARDPATH constraint', in 18th European conference on Artificial Intelligence, Proceedings, Patras, Greece, pp. 475 - 479, presented at 18th European conference on Artificial Intelligence, Patras, Greece, 21 July 2008 - 25 July 2008, http://dx.doi.org/10.3233/978-1-58603-891-5-475
2008
Walsh T, 2008, 'Complexity of terminating preference elicitation', in AAMAS 11th International conference on autonomonous agents and multiagent systems, Proceedings, International Foundation for Autonomous Agents and Multiagent Systems, Valencia, Spain, pp. 949 - 956, presented at 7th International conference on autonomonous agents and multiagent systems, Estoril, Portugal, 12 May 2008 - 16 May 2008
2008
Gelain M; Pini MS; Rossi F; Venable K; Walsh T, 2008, 'Elicitation strategies for fuzzy constraint problems with missing preferences: An experimental study', in AAAI Workshop - Technical Report, pp. 43 - 48
2008
Katsirelos G; Narodytska N; Walsh T, 2008, 'Combining Symmetry Breaking and Global Constraints', in Recent Advances in Constraints, Springer, Berlin/heidelberg, pp. 84 - 98, presented at 13th Annual ERCIM International Workshop on Constraint Logic Programming, CSCLP 2008, Rome, Italy, 18 June 2008 - 20 June 2008, http://dx.doi.org/10.1007/978-3-642-03251-6_6
2008
Haim S; Walsh T, 2008, 'Online estimation of SAT solving runtime', in Theory and applications of satisfiability testing---SAT 2008, Guangzhou, China, pp. 133 - 138, presented at Theory and applications of satisfiability testing---SAT 2008, Guangzhou, China, 12 May 2008 - 15 May 2008, http://dx.doi.org/10.1007/978-3-540-79719-7_12
2008
Gelain M; Pini M; Rossi F; Venable B; Walsh T, 2008, 'Elicitation strategies for fuzzy constraint problems with missing preferences: algorithms and experimental studies', in 14th International conference on Principles and practice of constraint programming, Sydney, pp. 270 - 294, presented at 14th International conference on Principles and practice of constraint programming, Sydney, 14 September 2008 - 18 September 2008, http://dx.doi.org/10.1016/j.artint.2009.11.015
2008
Walsh T; Pini M; Rossi F; Venable B, 2008, 'Dealing with incomplete agents` preferences and an uncertain agenda in group decision making via sequential majority voting', in 11th International conference on principles of knowledge representation and reasoning, Proceedings, Sydney, pp. 571 - 578, presented at 11th International conference on principles of knowledge representation and reasoning, Sydney, 16 September 2008 - 18 September 2008
2008
Haim S; Walsh T, 2008, 'Online search cost estimation for SAT solvers', in AAAI Workshop - Technical Report, pp. 53 - 60
2008
Walsh T, 2008, 'Complexity issues in preference elicitation and manipulation', in 10th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2008
2008
Quimper C; Walsh T, 2008, 'Decomposition of grammar constraints', in 23rd AAAI conference, Proceedings, Chicago Illinois USA, pp. 1567 - 1570, presented at 23rd AAAI conference on artificial intelligence, AAAI-08, Chicago Illinois USA, 13 July 2008 - 17 July 2008
2008
Walsh T, 2008, 'Breaking value symmetry', in 23rd AAAI conference, Proceedings, Chicago Illinois USA, pp. 880 - 887, presented at 23rd AAAI conference on artificial intelligence, AAAI-08, Chicago Illinois USA, 13 July 2008 - 17 July 2008
2008
Gelain M; Pini MS; Rossi F; Venable KB; Walsh T, 2008, 'Elicitation strategies for fuzzy constraint problems with missing preferences: Algorithms and experimental studies', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 402 - 417, http://dx.doi.org/10.1007/978-3-540-85958-1_27
2008
Katsirelos G; Narodytska N; Walsh T, 2008, 'The weighted CFG constraint', in Integration of AI and OR techniques in constraint programming for combinatorial optimization, Springer, Paris, France, pp. 323 - 327, presented at 5th international conference, CPAIOR 2008, Paris, France, 20 May 2008 - 23 May 2008, http://dx.doi.org/10.1007/978-3-540-68155-7_31
2008
Maher M; Narodytska N; Quimper C; Walsh T, 2008, 'Flow-based propagators for the sequence and related global constraints', in 14th International conference on Principles and practice of constraint programming, Sydney, pp. 159 - 174, presented at 14th International conference on Principles and practice of constraint programming, Sydney, 14 September 2008 - 18 September 2008, http://dx.doi.org/10.1007/978-3-540-85958-1_11
2008
Bessiere C; Hebrard E; Hnich B; Kiziltan Z; Quimper C; Walsh T, 2008, 'The parameterized complexity of global constraints', in 23rd AAAI conference, Proceedings, Chicago Illinois USA, pp. 235 - 240, presented at 23rd AAAI conference on artificial intelligence, AAAI-08, Chicago Illinois USA, 13 July 2008 - 17 July 2008
2008
Walsh T, 2007, 'Breaking value symmetry', in 13th International conference on Principles and practice of constraint programming, Providence, Rhode Island, USA, pp. 1585 - 1588, presented at 13th International conference on Principles and practice of constraint programming, Providence, Rhode Island, USA, 23 September 2007 - 27 September 2007
2007
Quimper C; Walsh T, 2007, 'Decomposing global grammar constraints', in 13th International conference on Principles and practice of constraint programming, Providence, Rhode Island, USA, pp. 590 - 604, presented at 13th International conference on Principles and practice of constraint programming, Providence, Rhode Island, USA, 23 September 2007 - 27 September 2007
2007
law Y; Lee JQ; Walsh T; Yip J, 2007, 'Breaking symmetry of interchangeable variables and values', in 13th International conference on Principles and practice of constraint programming, Providence, Rhode Island, USA, pp. 423 - 437, presented at 13th International conference on Principles and practice of constraint programming, Providence, Rhode Island, USA, 23 September 2007 - 27 September 2007
2007
Brand S; Narodytska N; Quimper C; Stuckey P; Walsh T, 2007, 'Encodings of the sequence constraint', in 13th International conference on Principles and practice of constraint programming, Providence, Rhode Island, USA, pp. 210 - 224, presented at 13th International conference on Principles and practice of constraint programming, Providence, Rhode Island, USA, 23 September 2007 - 27 September 2007
2007
Pini M; Rossi F; Venable K; Walsh T, 2007, 'Incompleteness and incomparability in preference aggregation', in 20th International joint conference on artificial intelligence, Hyderabad, India, pp. 1464 - 1469, presented at 20th International joint conference on artificial intelligence, Hyderabad, India, 06 January 2007 - 12 January 2007
2007
Lang J; Pini M; Rossi F; Venable K; Walsh T, 2007, 'Winner determination in sequential majority voting', in 20th International joint conference on artificial intelligence, Hyderabad, India, pp. 1372 - 1377, presented at 20th International joint conference on artificial intelligence, Hyderabad, India, 06 January 2007 - 12 January 2007
2007
Katsirelos G; Walsh T, 2007, 'A compression algorithm for large arity extensional constraints', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 379 - 393, http://dx.doi.org/10.1007/978-3-540-74970-7_28
2007
Pini MS; Rossi F; Venable KB; Walsh T, 2007, 'Sequential majority voting with incomplete profiles', in AAAI Workshop - Technical Report, pp. 79 - 84
2007
Hebrard E; O Sullivan B; Walsh T, 2007, 'Distance constraints in constraint satisfaction', in 20th International joint conference on artificial intelligence, Hyderabad, India, pp. 106 - 111, presented at 20th International joint conference on artificial intelligence, Hyderabad, India, 06 January 2007 - 12 January 2007
2007
Bessiere C; Hebrard E; Hnich B; Kiziltan Z; Quimper C; Walsh T, 2007, 'Reformulating global constraints: the slide and regular constraints', in 7th International symposium on Abstraction, reformulation and approximation, Whistler, Canada, pp. 80 - 92, presented at 7th International symposium on Abstraction, reformulation and approximation, Whistler, Canada, 18 July 2007 - 21 July 2007
2007
Narodytska N; Walsh T, 2007, 'Constraint and variable ordering heuristics for compiling configuration problems', in 20th International joint conference on artificial intelligence, Hyderabad, India, pp. 149 - 154, presented at 20th International joint conference on artificial intelligence, Hyderabad, India, 06 January 2007 - 12 January 2007
2007
Walsh T, 2007, 'Uncertainty in preference elicitation and aggregation', in 22nd AAAI Conference on Artificial Intelligence, AAAI Press, Vancouver BC Canada, pp. 3 - 8, presented at 22nd AAAI Conference on Artificial Intelligence, Vancouver BC Canada, 22 July 2007 - 26 July 2007
2007
Katsirelos G; Walsh T, 2007, 'A compression algorithm for large arity constraints', in 13th International conference on Principles and practice of constraint programming, 13th International conference on Principles and practice of constraint programming, Providence, Rhode Island, USA, presented at 13th International conference on Principles and practice of constraint programming, Providence, Rhode Island, USA, 23 September 2007 - 27 September 2007
2007
Kilby P; Slaney J; Thtébaux S; Walsh T, 2006, 'Estimating search tree size', in Proceedings of the National Conference on Artificial Intelligence, pp. 1014 - 1019
2006
Pini MS; Rossi F; Venable KB; Walsh T, 2006, 'Strategic voting when aggregating partially ordered preferences', in Proceedings of the International Conference on Autonomous Agents, pp. 685 - 687, http://dx.doi.org/10.1145/1160633.1160755
2006
Bessiere C; Hebrard E; Hnich B; Kiziltan Z; Walsh T, 2006, 'The ROOTS constraint', in 12th international conference on principles and practice of constraint programming (CP 2006), Nantes, France, pp. 75 - 90, presented at 12th international conference on principles and practice of constraint programming (CP 2006), Nantes, France, 24 September 2006 - 29 September 2006
2006
Walsh T, 2006, 'Symmetry breaking using value precedence', in European Conference on Artificial Intelligence (ECAI 2006), Riva Del Garda, Italy, pp. 168 - 172, presented at European Conference on Artificial Intelligence (ECAI 2006), Riva Del Garda, Italy, 29 August 2006 - 01 September 2006
2006
Walsh T; Quimper C, 2006, 'Global Grammar Constraints', in 12th international conference on principles and practice of constraint programming (CP 2006), Nantes, France, pp. 751 - 755, presented at 12th international conference on principles and practice of constraint programming (CP 2006), Nantes, France, 24 September 2006 - 29 September 2006
2006
Walsh T, 2006, 'Symmetry breaking', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 7 - 8, http://dx.doi.org/10.1007/11941439_4
2006
Stergiou K; Walsh T, 2006, 'Inverse Consistencies for Non-binary Constraints', in European Conference on Artificial Intelligence (ECAI 2006), Riva Del Garda, Italy, pp. 153 - 157, presented at European Conference on Artificial Intelligence (ECAI 2006), Riva Del Garda, Italy, 29 August 2006 - 01 September 2006
2006
Quimper C; Walsh T, 2006, 'The all different and global cardinality constraints on set, multiset and tuple variables', in Proceedings of the First International Conference on Advances in Natural Computation (ICNC 2005), Part III, Lecture Notes in Computer Science 3612/2005, Springer, pp. 1 - 13
2006
Bessiere C; Hebrard E; Hnich B; Kiziltan Z; Walsh T, 2006, 'The Range Constraint: Algorithms and Implementation', in 3rd International Conference, CPAIOR 2006, Cork, Ireland, pp. 59 - 73, presented at 3rd International Conference, CPAIOR 2006, Cork, Ireland, 31 May 2006 - 02 June 2006
2006
Kilby P; Slaney J; Thiebaux S; Walsh T, 2006, 'Estimating search tree size', in 21st National Conference on Artificial Intelligence (AAAI-06), AAAI Press, Boston, Massachusetts, pp. 21 - 27, presented at 21st National Conference on Artificial Intelligence (AAAI-06), Boston, Massachusetts, 16 July 2006 - 20 July 2006
2006
Bessiere C; Hebrard E; Hnich B; Kiziltan Z; Walsh T, 2006, 'Among, common and disjoint constraints', in Proceedings of the First International Conference on Advances in Natural Computation (ICNC 2005), Part III, Lecture Notes in Computer Science 3612/2005, Springer, pp. 29 - 43
2006
Walsh T, 2006, 'General symmetry breaking constraints', in Proceedings of the First International Conference on Advances in Natural Computation (ICNC 2005), Part III, Lecture Notes in Computer Science 3612/2005, Springer, Berlin, Germany, pp. 650 - 664, presented at 12th international conference on principles and practice of constraint programming (CP 2006), Nantes, France, 24 September 2006 - 29 September 2006
2006
Pini M; Rossi F; Venable B; Walsh T, 2006, 'Computing possible and necessary winners from incomplete partially-ordered preferences', in European Conference on Artificial Intelligence (ECAI 2006), Riva Del Garda, Italy, pp. 767 - 768, presented at European Conference on Artificial Intelligence (ECAI 2006), Riva Del Garda, Italy, 29 August 2006 - 01 September 2006
2006
Bessiere C; Hebrard E; Hnich B; Kiziltan Z; Walsh T, 2005, 'Filtering algorithms for the NVALUE constraint', in Proceedings of the First International Conference on Advances in Natural Computation (ICNC 2005), Part III, Lecture Notes in Computer Science 3612/2005, Springer, Berlin, Germany, pp. 79 - 93, presented at 2nd international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems, Prague, Czech Republic, 29 May 2005 - 01 June 2005
2005
Kilby P; Slaney J; Thiebaux S; Walsh T, 2005, 'Backbones and backdoors in satisfiability', in 20th National conference on artificial intelligence (AAAI 2005), Pittsburgh, Pennsylvania, pp. 1368 - 1373, presented at 20th National conference on artificial intelligence (AAAI 2005), Pittsburgh, Pennsylvania, 30 July 2005 - 05 August 2005
2005
Stuckey P; de la Banda M; Maher M; marriott K; Slaney J; Somogyi Z; Wallace MA; Walsh T, 2005, 'The G12 project: Mapping solver independent models to efficient solutions', in 11th International conference on principles and practice of constraint programming, Sitges, Spain, pp. 13 - 16, presented at 11th International conference on principles and practice of constraint programming, Sitges, Spain, 01 October 2005 - 05 October 2005, http://dx.doi.org/10.1007/11564751_4
2005
Quimper C; Walsh T, 2005, 'Beyond finite domains : the all different and global cardinality constraints', in 11th International conference on principles and practice of constraint programming, Sitges, Spain, pp. 812 - 816, presented at 11th International conference on principles and practice of constraint programming, Sitges, Spain, 01 October 2005 - 05 October 2005, http://dx.doi.org/10.1007/11564751_70
2005
Bacchus F; Walsh T, 2005, 'Lecture Notes in Computer Science: Preface', in Lecture Notes in Computer Science
2005
Hebrard E; Hnich B; O Sullivan BG; Walsh T, 2005, 'Finding diverse and similar solutions in constraint programming', in 20th National conference on artificial intelligence (AAAI 2005), Pittsburgh, Pennsylvania, pp. 372 - 377, presented at 20th National conference on artificial intelligence (AAAI 2005), Pittsburgh, Pennsylvania, 30 July 2005 - 05 August 2005
2005
Rossi F; Domshlak C; Pini MS; Prestwich S; Sperduti A; Venable KB; Walsh T; Yorke-Smith N, 2005, 'Preference reasoning', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 9 - 12, http://dx.doi.org/10.1007/11564751_3
2005
Walsh T; Frisch A; Hnich B; Miguel I; Smith B, 2005, 'Transforming and refining abstract constraint specifications', in 6th international symposium on Abstraction, reformulation, and approximation, Arith Castle, Scotland, pp. 76 - 91, presented at 6th international symposium on Abstraction, reformulation, and approximation, Arith Castle, Scotland, 26 July 2005 - 29 July 2005
2005
Hebrard E; Walsh TM, 2005, 'Improved algorithm for finding (a,b)-super solutions', in Proceedings of the First International Conference on Advances in Natural Computation (ICNC 2005), Part III, Lecture Notes in Computer Science 3612/2005, Springer, pp. 848 - 848, http://dx.doi.org/10.1007/11564751_86
2005
Stuckey PJ; De La Banda MG; Maher M; Marriott K; Slaney J; Somogyi Z; Wallace M; Walsh T, 2005, 'The G12 project: Mapping solver independent models to efficient solutions', in Lecture Notes in Computer Science, pp. 9 - 13, http://dx.doi.org/10.1007/11562931_3
2005
Walsh T; Bessiere C; Hebrard E; Hnich B; Kiziltan Z, 2005, 'The range and roots constraints: specifying counting and occurrence problems', in Proceedings of the 19th international joint conference on Artificial intelligence, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, pp. 60 - 65, presented at 19th International joint conference on artificial intelligence, Edinburgh, Scotland, 30 July 2005 - 05 August 2005
2005
Pini MS; Rossi F; Venable KB; Walsh T, 2005, 'Aggregating partially ordered preferences: Impossibility and possibility results', in Proceedings of the Tenth Conference on the Theoretical Aspects of Rationality and Knowledge, pp. 193 - 206
2005
Prestwich S; Rossi F; Venable B; Walsh T, 2005, 'Constraint-based preferential optimization', in 20th National conference on artificial intelligence (AAAI 2005), Pittsburgh, Pennsylvania, pp. 461 - 466, presented at 20th National conference on artificial intelligence (AAAI 2005), Pittsburgh, Pennsylvania, 30 July 2005 - 05 August 2005
2005
Bacchus F; Walsh T, 2005, 'Propagating logical combinations of constraints', in Proceedings of the 19th international joint conference on Artificial intelligence, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, pp. 35 - 40, presented at 19th International joint conference on artificial intelligence, Edinburgh, Scotland, 30 July 2005 - 05 August 2005
2005
Slaney J; Kilby P; Walsh T, 2005, 'The backbone of the travelling salesperson', in Proceedings of the 19th international joint conference on Artificial intelligence, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, pp. 175 - 180, presented at 19th International joint conference on artificial intelligence, Edinburgh, Scotland, 30 July 2005 - 05 August 2005
2005
Hebrard E; Tyler P; Walsh TM, 2005, 'Computing Super-schedules', in Proceedings of the First International Conference on Advances in Natural Computation (ICNC 2005), Part III, Lecture Notes in Computer Science 3612/2005, Springer, pp. 879 - 879, http://dx.doi.org/10.1007/11564751_117
2005
Bessiere C; Hebrard E; Hnich B; Walsh T, 2004, 'Disjoint, partition and intersection constraints for set and multiset variables', in Wallace M (ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), SPRINGER-VERLAG BERLIN, Toronto, CANADA, pp. 138 - 152, presented at 10th International Conference on the Principles and Practice of Constraint Programming, Toronto, CANADA, 27 September 2004 - 01 October 2004, http://dx.doi.org/10.1007/978-3-540-30201-8_13
2004
Hebrard E; Hnich B; Walsh T, 2004, 'Robust solutions for constraint satisfaction and optimization', in LopezdeMantaras R; Saitta L (ed.), Frontiers in Artificial Intelligence and Applications, IOS PRESS, Valencia, SPAIN, pp. 186 - 190, presented at 16th European Conference on Artificial Intelligence, Valencia, SPAIN, 22 August 2004 - 27 August 2004, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000225505100036&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a
2004
Thiffault C; Bacchus F; Walsh T, 2004, 'Solving non-clausal formulas with DPLL search', in Wallace M (ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), SPRINGER-VERLAG BERLIN, Toronto, CANADA, pp. 663 - 678, presented at 10th International Conference on the Principles and Practice of Constraint Programming, Toronto, CANADA, 27 September 2004 - 01 October 2004, http://dx.doi.org/10.1007/978-3-540-30201-8_48
2004
Bessiere C; Hebrard E; Hnich B; Walsh T, 2004, 'The complexity of global constraints', in Proceedings of the National Conference on Artificial Intelligence, ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE, San Jose, CA, pp. 112 - 117, presented at 19th National Conference on Artificial Intelligence/16th Conference on Innovative Applications of Artificial Intelligence, San Jose, CA, 25 July 2004 - 29 July 2004, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000226971400018&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a
2004
Bessiere C; Hebrard E; Hnich B; Walsh T, 2004, 'The tractability of global constraints', in Wallace M (ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), SPRINGER-VERLAG BERLIN, Toronto, CANADA, pp. 716 - 720, presented at 10th International Conference on the Principles and Practice of Constraint Programming, Toronto, CANADA, 27 September 2004 - 01 October 2004, http://dx.doi.org/10.1007/978-3-540-30201-8_53
2004
Rossi F; Venable KB; Walsh T, 2004, 'MCP Nets: Representing and reasoning with preferences of multiple agents', in Proceedings of the National Conference on Artificial Intelligence, AMER ASSOC ARTIFICIAL INTELLIGENCE, San Jose, CA, pp. 729 - 734, presented at 19th National Conference on Artificial Intelligence/16th Conference on Innovative Applications of Artificial Intelligence, San Jose, CA, 25 July 2004 - 29 July 2004, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000226971400115&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a
2004
Rossi F, 2004, 'Representing and reasoning with preferences', in Alferes JJ; Leite J (ed.), LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, SPRINGER-VERLAG BERLIN, Lisbon, PORTUGAL, pp. 1 - 1, presented at 9th European Conference on Logics in Artificial Intelligence (JELIA 04), Lisbon, PORTUGAL, 27 September 2004 - 30 September 2004, http://dx.doi.org/10.1007/978-3-540-30227-8_1
2004
Bessière C; Hebrard E; Walsh T, 2004, 'Local consistencies in SAT', in Giunchiglia E; Tacchella A (ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), SPRINGER-VERLAG BERLIN, Santa Margherita Ligure, ITALY, pp. 299 - 314, presented at 6th International Conference on Theory and Applications of Satisfiability Testing, Santa Margherita Ligure, ITALY, 05 May 2003 - 08 May 2003, http://dx.doi.org/10.1007/978-3-540-24605-3_23
2004
Hebrard E; Hnich B; Walsh T, 2004, 'Super solutions in constraint programming', in Regin JC; Rueher M (ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), SPRINGER-VERLAG BERLIN, Nice, FRANCE, pp. 157 - 172, presented at 1st International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Nice, FRANCE, 20 April 2004 - 22 April 2004, http://dx.doi.org/10.1007/978-3-540-24664-0_11
2004
Walsh T, 2003, 'Consistency and propagation with multiset constraints: A formal viewpoint', in Rossi F (ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), SPRINGER-VERLAG BERLIN, Cork, IRELAND, pp. 724 - 738, presented at 9th International Conference on Principles and Practice of Constraint Programming, Cork, IRELAND, 29 September 2003 - 03 October 2003, http://dx.doi.org/10.1007/978-3-540-45193-8_49
2003
Frisch AM; Miguel I; Walsh T, 2003, 'CGRASS: A system for transforming constraint satisfaction problems', in OSullivan B (ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), SPRINGER-VERLAG BERLIN, CORK, IRELAND, pp. 15 - 30, presented at Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, CORK, IRELAND, 19 June 2002 - 21 June 2002, http://dx.doi.org/10.1007/3-540-36607-5_2
2003
Manandhar S; Tarim A; Walsh T, 2003, 'Scenario-based stochastic constraint programming', in IJCAI International Joint Conference on Artificial Intelligence, pp. 257 - 262
2003
Domshlak C; Rossi F; Venable KB; Walsh T, 2003, 'Reasoning about soft constraints and conditional preferences: Complexity results and approximation techniques', in IJCAI International Joint Conference on Artificial Intelligence, pp. 215 - 220
2003
Frisch A; Miguel I; Kiziltan Z; Hnich B; Walsh T, 2003, 'Multiset ordering constraints', in IJCAI International Joint Conference on Artificial Intelligence, pp. 221 - 226
2003
Walsh T, 2003, 'Generating gray codes in O(1) worst-case time per word', in Calude CS; Dinneen MJ; Vajnovszki V (eds.), DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, SPRINGER-VERLAG BERLIN, DIJON, FRANCE, pp. 73 - 88, presented at 4th International Conference on Discrete Mathematics and Theoretical Computer Science (DMTCS 2003), DIJON, FRANCE, 07 July 2003 - 12 July 2003, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000185075200005&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1
2003
Walsh T, 2003, 'Constraint patterns', in Rossi F (ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), SPRINGER-VERLAG BERLIN, Cork, IRELAND, pp. 53 - 64, presented at 9th International Conference on Principles and Practice of Constraint Programming, Cork, IRELAND, 29 September 2003 - 03 October 2003, http://dx.doi.org/10.1007/978-3-540-45193-8_4
2003
Drake L; Frisch A; Walsh T, 2002, 'Combining inference and search for the prepositional satisfiability problem', in Proceedings of the National Conference on Artificial Intelligence, pp. 982
2002
Frisch A; Hnich B; Kiziltan Z; Miguel I; Walsh T, 2002, 'Global constraints for lexicographic orderings', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 93 - 108, http://dx.doi.org/10.1007/3-540-46135-3_7
2002
Frisch A; Sheridan D; Walsh T, 2002, 'A fixpoint based encoding for bounded model checking', in Aagaard MD; OLeary JW (ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), SPRINGER-VERLAG BERLIN, PORTLAND, OREGON, pp. 238 - 255, presented at 4th International Conference on Formal Methods in Computer-Aided Design (FMCAD 2002), PORTLAND, OREGON, 06 November 2002 - 08 November 2002, http://dx.doi.org/10.1007/3-540-36126-x_15
2002
Walsh T, 2002, 'The interface between P and NP: COL, XOR, NAE, 1-in-k, and Horn SAT', in Proceedings of the National Conference on Artificial Intelligence, pp. 695 - 700
2002
Flener P; Frisch AM; Hnich B; Kiziltan Z; Miguel I; Pearson J; Walsh T, 2002, 'Breaking row and column symmetries in matrix models', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 462 - 477, http://dx.doi.org/10.1007/3-540-46135-3_31
2002
Walsh T, 2002, 'Stochastic constraint programming', in VanHarmelen F (ed.), ECAI 2002: 15TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, I O S PRESS, CLAUDE BERNARD UNIV, LYON, FRANCE, pp. 111 - 115, presented at 15th European Conference on Artificial Intelligence, CLAUDE BERNARD UNIV, LYON, FRANCE, 21 July 2002 - 26 July 2002, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000178870500021&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1
2002
Flener P; Frisch AM; Hnich B; Kiziltan Z; Miguel I; Pearson J; Walsh T, 2002, 'Breaking row and column symmetry in matrix models', in Vidal T; Liberatore P (ed.), STAIRS 2002, PROCEEDINGS, IOS PRESS, LYON, FRANCE, pp. 207 - 216, presented at Starting Artificial Intelligence Researchers Symposium, LYON, FRANCE, 22 July 2002 - 23 July 2002, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000179109100028&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1
2002
Walsh T, 2001, 'Permutation problems and channelling constraints', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 377 - 391, http://dx.doi.org/10.1007/3-540-45653-8_26
2001
Walsh T, 2001, 'Search on high degree graphs', in IJCAI International Joint Conference on Artificial Intelligence, pp. 266 - 271
2001
Slaney J; Walsh T, 2001, 'Backbones in optimization and approximation', in IJCAI International Joint Conference on Artificial Intelligence, pp. 254 - 259
2001
Walsh T, 2001, 'Principles and practice of constraint programming –CP2001: 7th international conference, CP 2001 Paphos, Cyprus, november 26 – december 1, 2001 proceedings', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2001
Prosser P; Stergiou K; Walsh T, 2000, 'Singleton consistencies', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 353 - 368, http://dx.doi.org/10.1007/3-540-45349-0_26
2000
Colton S; Bundy A; Walsh T, 2000, 'Automatic invention of integer sequences', in SEVENTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-2001) / TWELFTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-2000), M I T PRESS, AUSTIN, TX, pp. 558 - 563, presented at 17th National Conference on Artificial Intelligence (AAAI-2000)/12th Conference on Innovative Applications of Artificial Intelligence (IAAI-2000), AUSTIN, TX, 30 July 2000 - 03 August 2000, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000172441000085&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1
2000
Walsh T, 2000, 'Reformulating propositional satisfiability as constraint satisfaction', in Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), pp. 233 - 246, http://dx.doi.org/10.1007/3-540-44914-0_14
2000
Smith B; Stergiou K; Walsh T, 2000, 'Using auxiliary variables and implied constraints to model non-binary problems', in SEVENTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-2001) / TWELFTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-2000), MIT PRESS, AUSTIN, TX, pp. 182 - 187, presented at 17th National Conference on Artificial Intelligence (AAAI-2000)/12th Conference on Innovative Applications of Artificial Intelligence (IAAI-2000), AUSTIN, TX, 30 July 2000 - 03 August 2000, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000172441000028&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1
2000
Gent I; Stergiou K; Walsh T, 2000, 'Decomposable constraints', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 134 - 149, http://dx.doi.org/10.1007/3-540-44654-0_7
2000
Walsh T, 2000, 'SAT v CSP', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 441 - 456, http://dx.doi.org/10.1007/3-540-45349-0_32
2000
Colton S; Bundy A; Walsh T, 1999, 'Automatic concept formation in pure mathematics', in IJCAI International Joint Conference on Artificial Intelligence, MORGAN KAUFMANN PUB INC, STOCKHOLM, SWEDEN, pp. 786 - 791, presented at 16th International Joint Conference on Artificial Intelligence (IJCAI 99), STOCKHOLM, SWEDEN, 31 July 1999 - 06 August 1999, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000165996800112&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a
1999
Stergiou K; Walsh T, 1999, 'Encodings of non-binary constraint satisfaction problems', in Proceedings of the National Conference on Artificial Intelligence, AMER ASSOC ARTIFICIAL INTELLIGENCE, ORLANDO, FL, pp. 163 - 168, presented at 16th National Conference on Artificial Intelligence (AAAI-99)/11th Conference on Innovative Applications of Artificial Intelligence (IAAI-99), ORLANDO, FL, 18 July 1999 - 22 July 1999, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000089853000023&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a
1999
Walsh T, 1999, 'Search in a small world', in IJCAI International Joint Conference on Artificial Intelligence, MORGAN KAUFMANN PUB INC, STOCKHOLM, SWEDEN, pp. 1172 - 1177, presented at 16th International Joint Conference on Artificial Intelligence (IJCAI 99), STOCKHOLM, SWEDEN, 31 July 1999 - 06 August 1999, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000165996800166&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a
1999
Gent IP; Walsh T, 1999, 'CSPLIB: A benchmark library for constraints', in Jaffar J (ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), SPRINGER-VERLAG BERLIN, ALEXANDRIA, VIRGINIA, pp. 480 - 481, presented at 5th International Conference on Principles and Practice of Constraint Programming (CP 99), ALEXANDRIA, VIRGINIA, 11 October 1999 - 14 October 1999, http://dx.doi.org/10.1007/978-3-540-48085-3_36
1999
Gent IP; Walsh T, 1999, 'Beyond NP: the QSAT phase transition', in Proceedings of the National Conference on Artificial Intelligence, ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE, ORLANDO, FL, pp. 648 - 653, presented at 16th National Conference on Artificial Intelligence (AAAI-99)/11th Conference on Innovative Applications of Artificial Intelligence (IAAI-99), ORLANDO, FL, 18 July 1999 - 22 July 1999, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000089853000091&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a
1999
Gent IP; Hoos HH; Prosser P; Walsh T, 1999, 'Morphing: combining structure and randomness', in Proceedings of the National Conference on Artificial Intelligence, ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE, ORLANDO, FL, pp. 654 - 660, presented at 16th National Conference on Artificial Intelligence (AAAI-99)/11th Conference on Innovative Applications of Artificial Intelligence (IAAI-99), ORLANDO, FL, 18 July 1999 - 22 July 1999, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000089853000092&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a
1999
Stergiou K; Walsh T, 1999, 'The difference all-difference makes', in IJCAI International Joint Conference on Artificial Intelligence, pp. 414 - 419
1999
Meseguer P; Walsh T, 1998, 'Interleaved and discrepancy based search', in Prade H (ed.), ECAI 1998: 13TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, JOHN WILEY & SONS LTD, BRIGHTON, ENGLAND, pp. 239 - 243, presented at 13TH European Conference on Artificial Intelligence (ECAI 98), BRIGHTON, ENGLAND, 23 August 1998 - 28 August 1998, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000085168300056&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1
1998
Walsh T, 1998, 'Constrainedness knife-edge', in Proceedings of the National Conference on Artificial Intelligence, AMER ASSOC ARTIFICIAL INTELLIGENCE, MADISON, WI, pp. 406 - 411, presented at 15th National Conference on Artificial Intelligence (AAAI 98) / 10th Conference on Innovative Applications of Artificial Intelligence (IAAI 98), MADISON, WI, 26 July 1998 - 30 July 1998, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000076427500058&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a
1998
Macintyre E; Prosser P; Smith B; Walsh T, 1998, 'Random constraint satisfaction: Theory meets practice', in Maher M; Puget JF (ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), SPRINGER-VERLAG BERLIN, PISA, ITALY, pp. 325 - 339, presented at 4th International Conference on Principles and Practice of Constraint Programming (CP 98), PISA, ITALY, 26 October 1998 - 30 October 1998, http://dx.doi.org/10.1007/3-540-49481-2_24
1998
Gent IP; MacIntyre E; Prosser P; Shaw P; Walsh T, 1997, 'The constrainedness of arc consistency', in Smolka G (ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), SPRINGER-VERLAG BERLIN, LINZ, AUSTRIA, pp. 327 - 340, presented at 3rd International Conference on Principles and Practice of Constraint Programming, LINZ, AUSTRIA, 29 October 1997 - 01 November 1997, http://dx.doi.org/10.1007/bfb0017449
1997
Walsh T, 1997, 'Depth-bounded discrepancy search', in Pollack ME (ed.), IJCAI International Joint Conference on Artificial Intelligence, MORGAN KAUFMANN PUB INC, NAGOYA, JAPAN, pp. 1388 - 1393, presented at 15th International Joint Conference on Artificial Intelligence, NAGOYA, JAPAN, 23 August 1997 - 29 August 1997, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000072707200200&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a
1997
Gent IP; MacIntyre E; Prosser P; Walsh T, 1997, 'Scaling of search cost', in Proceedings of the National Conference on Artificial Intelligence, pp. 315 - 320
1997
Gent IP; Walsh T, 1997, 'From approximate t o optimal solutions: Constructing pruning and propagation rules', in Pollack ME (ed.), IJCAI International Joint Conference on Artificial Intelligence, MORGAN KAUFMANN PUB INC, NAGOYA, JAPAN, pp. 1396 - 1401, presented at 15th International Joint Conference on Artificial Intelligence, NAGOYA, JAPAN, 23 August 1997 - 29 August 1997, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000072707200201&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a
1997
Gent IP; MacIntyre E; Prosser P; Walsh T, 1996, 'Constrainedness of search', in Proceedings of the National Conference on Artificial Intelligence, ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE, PORTLAND, OR, pp. 246 - 252, presented at 13th National Conference on Artificial Intelligence (AAAI 96) / 8th Conference on Innovative Applications of Artificial Intelligence (IAAI 96), PORTLAND, OR, 04 August 1996 - 08 August 1996, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000082323300037&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a
1996
Clark DA; Frank J; Gent IP; MacIntyre E; Tomov N; Walsh T, 1996, 'Local search and the number of solutions', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 119 - 133, http://dx.doi.org/10.1007/3-540-61551-2_70
1996
Bundy A; Giunchiglia F; Sebastiani R; Walsh T, 1996, 'Computing abstraction hierarchies by numerical simulation', in Proceedings of the National Conference on Artificial Intelligence, pp. 523 - 529
1996
Gent IP; MacIntyre E; Prosser P; Smith BM; Walsh T, 1996, 'An empirical study of dynamic variable ordering heuristics for the constraint satisfaction problem', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 179 - 193, http://dx.doi.org/10.1007/3-540-61551-2_74
1996
Giunchiglia F; Sebastiani R; Villafiorita A; Walsh T, 1996, 'A general purpose reasoner for abstraction', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 323 - 335, http://dx.doi.org/10.1007/3-540-61291-2_62
1996
Gent IP; Macintyre E; Prosser P; Walsh T, 1995, 'Scaling effects in the csp phase transition', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 70 - 87, http://dx.doi.org/10.1007/3-540-60299-2_5
1995
GENT IP; WALSH T, 1995, 'Unsatisfied variables in local search', in Hallam J (ed.), HYBRID PROBLEMS, HYBRID SOLUTIONS, I O S PRESS, SHEFFIELD, ENGLAND, pp. 73 - 85, presented at 10th Biennial Conference on Artificial Intelligence and the Simulation of Behaviour (AISB95), SHEFFIELD, ENGLAND, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:A1995BD65P00007&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1
1995
Basin DA; Walsh T, 1995, 'A calculus for rippling', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 15 - 30, http://dx.doi.org/10.1007/3-540-60381-6_2
1995
Basin DA; Walsh T, 1994, 'Termination orderings for rippling', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 466 - 483, http://dx.doi.org/10.1007/3-540-58156-1_34
1994
Gent IP; Walsh T, 1994, 'The hardest random SAT problems', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 356 - 366, http://dx.doi.org/10.1007/3-540-58467-6_31
1994
Walsh T, 1994, 'A divergence critic', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 14 - 28, http://dx.doi.org/10.1007/3-540-58156-1_2
1994
Gent IP; Walsh T, 1993, 'Towards an understanding of hill-climbing procedures for SAT', in Proceedings of the National Conference on Artificial Intelligence, M I T PRESS, WASHINGTON, DC, pp. 28 - 33, presented at 11th National Conference on Artificial Intelligence (AAAI-93), WASHINGTON, DC, 11 July 1993 - 15 July 1993, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:A1993BA08N00005&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a
1993
Walsh T, 1993, 'General purpose proof plans', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 379 - 383, http://dx.doi.org/10.1007/bfb0013194
1993
WALSH T; NUNES A; BUNDY A, 1992, 'THE USE OF PROOF PLANS TO SUM SERIES', in Kapur D (ed.), AUTOMATED DEDUCTION - CADE-11, SPRINGER-VERLAG BERLIN, SARATOGA SPRINGS, NY, pp. 325 - 339, presented at 11TH INTERNATIONAL CONF ON AUTOMATED DEDUCTION, SARATOGA SPRINGS, NY, 15 June 1992 - 18 June 1992, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:A1992BX77G00025&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1
1992
Basin D; Walsh T, 1992, 'Difference matching', in Kapur D (ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), SPRINGER-VERLAG BERLIN, SARATOGA SPRINGS, NY, pp. 295 - 309, presented at 11TH INTERNATIONAL CONF ON AUTOMATED DEDUCTION, SARATOGA SPRINGS, NY, 15 June 1992 - 18 June 1992, http://dx.doi.org/10.1007/3-540-55602-8_173
1992
Giunchiglia F; Walsh T, 1990, 'Use of abstraction in automatic inference', in IEE Conference Publication, pp. 365 - 370
1990
Mayer-Eichberger V; Walsh T, 'SAT Encodings for the Car Sequencing Problem', EasyChair, presented at POS-13. Pragmatics of SAT 2013, http://dx.doi.org/10.29007/jrsp
Reports
add
Aziz H; Gaspers S; Sun Z; Walsh T, 2020, From Matching with Diversity Constraints to Matching with Regional Quotas.
2020
Aziz H; Gaspers S; Mackenzie S; Mattei N; Narodytska N; Walsh T, 2015, Manipulating the probabilistic serial rule
2015
Aziz H; Gaspers S; Gudmundsson J; Mackenzie S; Mattei N; Walsh T, 2015, Computational aspects of multi-winner approval voting
2015
Aleksandrov M; Aziz H; Gaspers S; Walsh T, 2015, Online fair division: Analysing a food bank problem
2015
Aziz H; Gaspers S; Mackenzie S; Mattei N; Narodytska N; Walsh T, 2015, Equilibria under the probabilistic serial rule
2015
Gaspers S; Kalinowski T; Narodytska N; Walsh T, 2013, Coalitional Manipulation for Schulze’s Rule
2013
Aziz H; Gaspers S; Mattei N; Narodytska N; Walsh T, Strategic aspects of the probabilistic serial rule for the allocation of goods, http://arxiv.org/abs/1401.6523v1
Working Papers
add
Aziz H; Chan H; Lee BE; Li B; Walsh T, 2020, Facility location problem with capacity constraints: Algorithmic and mechanism design perspectives, Association for the Advancement of Artificial Intelligence (AAAI), http://dx.doi.org10.1609/aaai.v34i02.5547, http://arxiv.org/abs/1911.09813v1
2020
Aziz H; Gaspers S; Mackenzie S; Mattei N; Stursberg P; Walsh T, 2014, Fixing a balanced knockout tournament, http://dx.doi.org
2014
Aziz H; Gaspers S; Gudmundsson J; Mackenzie S; Mattei N; Walsh T, 2014, Computational aspects of Multi-Winner approval voting, http://dx.doi.org
2014
Journal articles
add
van Bevern R; Komusiewicz C; Molter H; Niedermeier R; Sorge M; Walsh T, 2020, 'h-Index manipulation by undoing merges', Quantitative Science Studies, vol. 1, pp. 1529 - 1552, http://dx.doi.org/10.1162/qss_a_00093
2020
Walsh T, 2019, 'Australia's AI futured', Journal and Proceedings of the Royal Society of New South Wales, vol. 152, pp. 101 - 104
2019
Aziz H; Lev O; Mattei N; Rosenschein JS; Walsh T, 2019, 'Strategyproof peer selection using randomization, partitioning, and apportionment', Artificial Intelligence, vol. 275, pp. 295 - 309, http://dx.doi.org/10.1016/j.artint.2019.06.004
2019
Walsh T, 2018, 'The new robber barons', AI Matters, vol. 4, pp. 25 - 26, http://dx.doi.org/10.1145/3236644.3236651
2018
Walsh T, 2018, 'Expert and Non-expert Opinion About Technological Unemployment', International Journal of Automation and Computing, vol. 15, pp. 637 - 642, http://dx.doi.org/10.1007/s11633-018-1127-x
2018
Aziz H; Gaspers S; Mackenzie S; Mattei N; Stursberg P; Walsh T, 2018, 'Fixing balanced knockout and double elimination tournaments', Artificial Intelligence, vol. 262, pp. 1 - 14, http://dx.doi.org/10.1016/j.artint.2018.05.002
2018
Lian JW; Mattei N; Noble R; Walsh T, 2018, 'The conference paper assignment problem: Using order weighted averages to assign indivisible goods', 32nd AAAI Conference on Artificial Intelligence, AAAI 2018, pp. 1138 - 1145, http://arxiv.org/abs/1705.06840v1
2018
Burton E; Goldsmith J; Koenig S; Kuipers B; Mattei N; Walsh T, 2017, 'Ethical considerations in artificial intelligence courses', AI Magazine, vol. 38, pp. 22 - 34, http://dx.doi.org/10.1609/aimag.v38i2.2731
2017
Bredereck R; Chen J; Niedermeier R; Walsh T, 2017, 'Parliamentary voting procedures: Agenda control, manipulation, and uncertainty', Journal of Artificial Intelligence Research, vol. 59, pp. 133 - 173, http://dx.doi.org/10.1613/jair.5407
2017
Aziz H; Brill M; Conitzer V; Elkind E; Freeman R; Walsh T, 2017, 'Justified representation in approval-based committee voting', Social Choice and Welfare, vol. 48, pp. 461 - 485, http://dx.doi.org/10.1007/s00355-016-1019-3
2017
Walsh T, 2017, 'The singularity may never be near', AI Magazine, vol. 38, pp. 58 - 62, http://dx.doi.org/10.1609/aimag.v38i3.2702
2017
Fischetti M; Liberti L; Salvagnin D; Walsh T, 2017, 'Orbital shrinking: Theory and applications', Discrete Applied Mathematics, vol. 222, pp. 109 - 123, http://dx.doi.org/10.1016/j.dam.2017.01.015
2017
Walsh T, 2016, 'What if… We create human-level artificial intelligence?', New Scientist, vol. 232, pp. 32 - 34, http://dx.doi.org/10.1016/S0262-4079(16)32126-1
2016
Aziz H; Cahan C; Gretton C; Kilby P; Mattei N; Walsh T, 2016, 'A study of proxies for shapley allocations of transport costs', Journal of Artificial Intelligence Research, vol. 56, pp. 573 - 611, http://dx.doi.org/10.1613/jair.5021
2016
van Bevern R; Komusiewicz C; Niedermeier R; Sorge M; Walsh T, 2016, 'H-index manipulation by merging articles: Models, theory, and experiments', Artificial Intelligence, vol. 240, pp. 19 - 35, http://dx.doi.org/10.1016/j.artint.2016.08.001
2016
Walsh T, 2016, 'Unintended consequences of trusting ais: Author Responds', Communications of the ACM, vol. 59, pp. 8, http://dx.doi.org/10.1145/2977335
2016
Narodytska N; Petit T; Siala M; Walsh T, 2016, 'Three generalizations of the FOCUS constraint', Constraints, vol. 21, pp. 495 - 532, http://dx.doi.org/10.1007/s10601-015-9233-7
2016
Walsh T, 2016, 'More to Asimov's first law: Author Responds', Communications of the ACM, vol. 59, pp. 9, http://dx.doi.org/10.1145/2977335
2016
Walsh T, 2016, 'Author responds', Communications of the ACM, vol. 59, pp. 17, http://dx.doi.org/10.1145/3013930
2016
Walsh T, 2016, 'Turing's red flag', Communications of the ACM, vol. 59, pp. 34 - 37, http://dx.doi.org/10.1145/2838729
2016
Albrecht SV; Beck JC; Buckeridge DL; Botea A; Caragea C; Chi CH; Damoulas T; Dilkina B; Eaton E; Fazli P; Ganzfried S; Giles CL; Guillet S; Holte R; Hutter F; Koch T; Leonetti M; Lindauer M; Machado MC; Malitsky Y; Marcus G; Meijer S; Rossi F; Shaban-Nejad A; Thiebaux S; Veloso M; Walsh T; Wang C; Zhang J; Zheng Y, 2015, 'Reports on the 2015 AAAI workshop series', AI Magazine, vol. 36, pp. 90 - 101, http://dx.doi.org/10.1609/aimag.v36i2.2590
2015
Aziz H; Gaspers S; Mackenzie S; Walsh T, 2015, 'Two Desirable Fairness Concepts for Allocation of Indivisible Objects under Ordinal Preferences', SI GECOM EXCHANGES, vol. 14, pp. 16 - 21, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000372616400002&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1
2015
Aziz H; Gaspers S; Mackenzie S; Walsh T, 2015, 'Fair assignment of indivisible objects under ordinal preferences', Artificial Intelligence, vol. 227, pp. 71 - 92, http://dx.doi.org/10.1016/j.artint.2015.06.002
2015
Aziz H; Gaspers S; Mackenzie S; Walsh T, 2015, 'Fair assignment of indivisible objects under ordinal preferences.', Artif. Intell., vol. 227, pp. 71 - 92
2015
Davies J; Katsirelos G; Narodytska N; Walsh T; Xia L, 2014, 'Complexity of and algorithms for the manipulation of Borda, Nanson's and Baldwin's voting rules', Artificial Intelligence, vol. 217, pp. 20 - 42, http://dx.doi.org/10.1016/j.artint.2014.07.005
2014
Walsh T, 2014, 'Candy crushs puzzling mathematics', American Scientist, vol. 102, pp. 430 - 433, http://dx.doi.org/10.1511/2014.111.430
2014
Pini MS; Rossi F; Venable KB; Walsh T, 2013, 'Stability and Optimality in Matching Problems with Weighted Preferences', Communications in Computer and Information Science, vol. 271, pp. 319 - 333, http://dx.doi.org/10.1007/978-3-642-29966-7_21
2013
Narodytska N; Skocovsky P; Walsh T, 2013, 'Global SPACING Constraint (Technical Report)', ArXiv, https://arxiv.org/abs/1303.6107
2013
Walsh T, 2013, 'Look beyond north america', Communications of the ACM, vol. 56, pp. 10 - 11, http://dx.doi.org/10.1145/2436256.2436259
2013
Grandi U; Loreggia A; Rossi F; Venable KB; Walsh T, 2013, 'Restricted Manipulation in Iterative Voting: Convergence and Condorcet Efficiency', ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, pp. 17 - 24, http://dx.doi.org/10.4204/EPTCS.112.6
2013
Pini MS; Rossi F; Brent Venable K; Walsh T, 2013, 'Stability, optimality and manipulation in matching problems with weighted preferences', Algorithms, vol. 6, pp. 782 - 804, http://dx.doi.org/10.3390/a6040782
2013
Gelain M; Pini MS; Rossi F; Venable KB; Walsh T, 2013, 'Local search approaches in stable matching problems', Algorithms, vol. 6, pp. 591 - 617, http://dx.doi.org/10.3390/a6040591
2013
Barnes N; Baumgartner P; Caetano T; Durrant-Whyte H; Klein G; Sanderson P; Sattar A; Stuckey P; Thiebaux S; Van Hentenryck P; Walsh T, 2012, 'AI@NICTA', AI Magazine, vol. 33, pp. 115 - 127, http://dx.doi.org/10.1609/aimag.v33i3.2430
2012
Pini MS; Rossi F; Venable K; Walsh T, 2011, 'Manipulation complexity and gender neutrality in stable marriage procedures', Autonomous Agents and Multi - Agent Systems, vol. 22, pp. 183 - 199, http://dx.doi.org/10.1007/s10458-010-9121-x
2011
Balafoutis ; Paparrizou A; Stergiou K; Walsh T, 2011, 'New algorithms for max restricted path consistency', Constraints, vol. 16, pp. 372 - 406, http://dx.doi.org/10.1007/s10601-011-9110-y
2011
Walsh T, 2011, 'Where are the hard manipulation problems?', Journal of Artificial Intelligence Research, vol. 42, pp. 1 - 29, http://dx.doi.org/10.1613/jair.3223
2011
Pini MS; Rossi F; Venable KB; Walsh T, 2011, 'Incompleteness and incomparability in preference aggregation: Complexity results', Artificial Intelligence, vol. 175, pp. 1272 - 1289, http://dx.doi.org/10.1016/j.artint.2010.11.009
2011
Walsh T, 2011, 'Is computational complexity a barrier to manipulation?', Annals of Mathematics and Artificial Intelligence, vol. 62, pp. 7 - 26, http://dx.doi.org/10.1007/s10472-011-9255-9
2011
Yaman F; Walsh TJ; Littman ML; Desjardins M, 2011, 'Democratic approximation of lexicographic preference models', ARTIFICIAL INTELLIGENCE, vol. 175, pp. 1290 - 1307, http://dx.doi.org/10.1016/j.artint.2010.11.012
2011
Drescher C; Tifrea O; Walsh T, 2011, 'Symmetry-breaking answer set solving', AI Communications, vol. 24, pp. 177 - 194, http://dx.doi.org/10.3233/AIC-2011-0495
2011
Drescher C; Walsh T, 2010, 'A translational approach to constraint answer set solving', Theory and Practice of Logic Programming, vol. 10, pp. 465 - 480, http://dx.doi.org/10.1017/S1471068410000220
2010
Gelain M; Pini MS; Rossi F; Venable K; Walsh T, 2010, 'Elicitation strategies for soft constraint problems with missing preferences: Properties, algorithms and experimental studies', Artificial Intelligence, vol. 174, pp. 270 - 294, http://dx.doi.org/10.1016/j.artint.2009.11.015
2010
Bessiere C; Hebrard E; Hnich B; Kiziltan Z; Walsh T, 2009, 'Range and Roots: Two Common patterns for specifying and propagating, counting and occurence constraints', Artificial Intelligence, vol. 173, pp. 1054 - 1078, http://dx.doi.org/10.1016/j.artint.2009.03.001
2009
Pini MS; Rossi F; Venable B; Walsh T, 2009, 'Aggregating partially ordered preferences: fairness and startegy proofness', Journal of Logic and Computation, vol. 19, pp. 475 - 502, http://dx.doi.org/10.1093/logcom/exn012
2009
Pini M; Rossi F; Venable K; Walsh T, 2009, 'Aggregating Partially Ordered Preferences', Journal of Logic and Computation, vol. 19, pp. 475 - 502, http://dx.doi.org/10.1093/logcom/exn012
2009
Miguel I; Frisch A; Hnich B; Kiziltan Z; Walsh T, 2009, 'Filtering Algorithms for the MultiSet Ordering Constraint', Artificial Intelligence, vol. 173 (2009), pp. 299 - 328, http://dx.doi.org/10.1016/j.artint.2008.11.001
2009
Rossi F; Venable B; Walsh T, 2008, 'Preferences in constraint satisfaction and optimization', AI Magazine, vol. 29, pp. 58 - 68, http://dx.doi.org/10.1609/aimag.v29i4.2202
2008
Bessiere C; Stergiou K; Walsh T, 2008, 'Domain filtering consistencies for non-binary constraints', Artificial Intelligence, vol. 172, pp. 800 - 822, http://dx.doi.org/10.1016/j.artint.2007.10.016
2008
Bessiere C; Hnich B; Walsh T; Hebrard E, 2007, 'The complexity of reasoning with global constraints', Constraints, vol. 12, pp. 239 - 259, http://dx.doi.org/10.1007/s10601-006-9007-3
2007
Walsh TF; Reese GM; Hetmaniuk UL, 2007, 'Explicit a posteriori error estimates for eigenvalue analysis of heterogeneous elastic structures', COMPUTER METHODS IN APPLIED MECHANICS AND ENGINEERING, vol. 196, pp. 3614 - 3623, http://dx.doi.org/10.1016/j.cma.2006.10.036
2007
Narodytska N; Walsh T, 2007, 'Constraint and variable-ordering heuristics for compiling configuration problems', IEEE Intelligent Systems, vol. 22, pp. 78 - 81, http://dx.doi.org/10.1109/MIS.2007.6
2007
Walsh T, 2007, 'Representing and reasoning with preferences', AI Magazine, vol. 28, pp. 59 - 69
2007
Tarim S; Manandhar S; Walsh T, 2006, 'Stochastic constraint programming: A scenario-based approach', Constraints, vol. 11, pp. 53 - 80, http://dx.doi.org/10.1007/s10601-006-6849-7
2006
Domshlak C; Prestwich S; Rossi F; Venable K; Walsh T, 2006, 'Hard and soft constraints for reasoning about qualitative conditional preferences', Journal of Heuristics, vol. 12, pp. 263 - 285, http://dx.doi.org/10.1007/s10732-006-7071-x
2006
Frisch A; Hnich B; Kiziltan Z; Miguel I; Walsh T, 2006, 'Propagation algorithms for lexicographic ordering constraints', Artificial Intelligence, vol. 170, pp. 803 - 834, http://dx.doi.org/10.1016/j.artint.2006.03.002
2006
Takenaga Y; Walsh T, 2006, 'TETRAVEX is NP-complete', Information Processing Letters, vol. 99, pp. 171 - 174, http://dx.doi.org/10.1016/j.ipl.2006.04.010
2006
Bessiere C; Hebrard E; Hnich B; Kiziltan Z; Walsh T, 2006, 'Filtering algorithms for the NVALUE constraint', Constraints, vol. 11, pp. 271 - 293, http://dx.doi.org/10.1007/s10601-006-9001-9
2006
Walsh T, 2005, 'Aims and scope', AI Communications, vol. 18, pp. 1
2005
Giunchiglia E; Walsh T, 2005, 'Satisfiability in the Year 2005', Journal of Automated Reasoning, vol. 35, pp. 1 - 2, http://dx.doi.org/10.1007/s10817-006-9041-2
2005
Hnich B; Kiziltan Z; Miguel I; Walsh T, 2004, 'Hybrid modelling for robust solving', Annals of Operations Research, vol. 130, pp. 19 - 39, http://dx.doi.org/10.1023/B:ANOR.0000032568.51115.0d
2004
Hnich B; Smith BM; Walsh T, 2004, 'Dual modelling of permutation and injection problems', Journal of Artificial Intelligence Research, vol. 21, pp. 357 - 391, http://dx.doi.org/10.1613/jair.1351
2004
Gent IP; Walsh T, 2002, 'Satisfiability in the year 2000', Journal of Automated Reasoning, vol. 28, pp. 99, http://dx.doi.org/10.1023/A:1015051815026
2002
Bacchus F; Chen X; Van Beek P; Walsh T, 2002, 'Binary vs. non-binary constraints', Artificial Intelligence, vol. 140, pp. 1 - 37, http://dx.doi.org/10.1016/S0004-3702(02)00210-2
2002
Gent IP; Macintyre E; Prosser P; Smith BM; Walsh T, 2001, 'Random constraint satisfaction: Flaws and structure', Constraints, vol. 6, pp. 345 - 372, http://dx.doi.org/10.1023/A:1011454308633
2001
Gent I; Stergiou K; Walsh T, 2000, 'Decomposable constraints', Artificial Intelligence, vol. 123, pp. 133 - 156, http://dx.doi.org/10.1016/S0004-3702(00)00051-5
2000
Colton S; Bundy A; Walsh T, 2000, 'On the notion of interestingness in automated mathematical discovery', International Journal of Human Computer Studies, vol. 53, pp. 351 - 375, http://dx.doi.org/10.1006/ijhc.2000.0394
2000
Gent IP; Walsh T, 2000, 'Satisfiability in the year 2000', Journal of Automated Reasoning, vol. 24, pp. 1 - 3, http://dx.doi.org/10.1023/a:1006338702529
2000
Gent IP; Walsh T, 1999, 'Paul R. Cohen's Empirical Methods for Artificial Intelligence', Artificial Intelligence, vol. 113, pp. 285 - 290, http://dx.doi.org/10.1016/s0004-3702(99)00056-9
1999
Frank J; Gent IP; Walsh T, 1998, 'Asymptotic and finite size parameters for phase transitions: Hamiltonian circuit as a case study', Information Processing Letters, vol. 65, pp. 241 - 245, http://dx.doi.org/10.1016/s0020-0190(97)00222-6
1998
Gent IP; Walsh T, 1998, 'Analysis of heuristics for number partitioning', Computational Intelligence, vol. 14, pp. 430 - 451, http://dx.doi.org/10.1111/0824-7935.00069
1998
Bundy A; Giunchiglia F; Villafiorita A; Walsh T, 1997, 'Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem', Journal of Automated Reasoning, vol. 19, pp. 319 - 346, http://dx.doi.org/10.1023/A:1005877613942
1997
Bundy A; Giunchiglia F; Sebastiani R; Walsh T, 1996, 'Calculating criticalities', Artificial Intelligence, vol. 88, pp. 39 - 67, http://dx.doi.org/10.1016/s0004-3702(96)00019-7
1996
Gent IP; Walsh T, 1996, 'The TSP phase transition', Artificial Intelligence, vol. 88, pp. 349 - 358, http://dx.doi.org/10.1016/s0004-3702(96)00030-6
1996
Walsh T, 1996, 'A divergence critic for inductive proof', Journal of Artificial Intelligence Research, vol. 4, pp. 209 - 235, http://dx.doi.org/10.1613/jair.275
1996
Gent IP; Walsh T, 1996, 'The satisfiability constraint gap', Artificial Intelligence, vol. 81, pp. 59 - 80, http://dx.doi.org/10.1016/0004-3702(95)00047-x
1996
Basin DA; Walsh T, 1996, 'A calculus for and termination of rippling', Journal of Automated Reasoning, vol. 16, pp. 147 - 180, http://dx.doi.org/10.1007/BF00244462
1996
Gent IP; Walsh T, 1994, 'Easy problems are sometimes hard', Artificial Intelligence, vol. 70, pp. 335 - 345, http://dx.doi.org/10.1016/0004-3702(94)90109-0
1994
Giunchiglia F; Walsh T, 1993, 'The inevitability of inconsistent abstract spaces', Journal of Automated Reasoning, vol. 11, pp. 23 - 41, http://dx.doi.org/10.1007/BF00881899
1993
Gent IP; Walsh T, 1993, 'Empirical analysis of search in GSAT', Journal of Artificial Intelligence Research, vol. 1, pp. 47 - 59, http://dx.doi.org/10.1613/jair.7
1993
Walsh T, 1993, 'ECAI’92: A methodological malaise?', AI Communications, vol. 6, pp. 59 - 61, http://dx.doi.org/10.3233/AIC-1993-6105
1993
Giunchiglia F; Walsh T, 1992, 'A theory of abstraction', Artificial Intelligence, vol. 57, pp. 323 - 389, http://dx.doi.org/10.1016/0004-3702(92)90021-O
1992
Walsh T; Nunes A; Bundy A, 1992, 'The use of proof plans to sum series', Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 607 LNAI, pp. 325 - 339, http://dx.doi.org/10.1007/3-540-55602-8_175
1992
WALSH TR, 1982, 'THE TOWERS OF HANOI REVISITED - MOVING THE RINGS BY COUNTING THE MOVES', INFORMATION PROCESSING LETTERS, vol. 15, pp. 64 - 67, http://dx.doi.org/10.1016/0020-0190(82)90108-9
1982
Aziz H; Walsh T, 'Algorithms for two variants of Satisfaction Approval Voting', , http://arxiv.org/abs/1501.02144v1
Aziz H; Caragiannis I; Igarashi A; Walsh T, 'Fair allocation of combinations of indivisible goods and chores', , http://arxiv.org/abs/1807.10684v4
Aziz H; Rauchecker G; Schryen G; Walsh T, 'Approximation Algorithms for Max-Min Share Allocations of Indivisible Chores and Goods', , http://arxiv.org/abs/1604.01435v1
Mattei N; Walsh T, 'Empirical Evaluation of Real World Tournaments', Empirical Evaluation of Real World Tournaments, http://arxiv.org/abs/1608.01039v1
Recorded / Rendered Creative Works
add
Page J; Walsh T; Hulbert AP, 2017, No Problem Too Big #1 - Artificial Intelligence and Killer Robots, The Conversation, Online and as part of Speaking With podcast, Editor(s): Hulbert A, Podcast, Published: 26 May 2017, Duration: 0:45:10, Recorded / Rendered Creative Works, https://newsroom.unsw.edu.au/news/science-tech/no-problem-too-big-1-artificial-intelligence-and-killer-robots
2017
Books
add
Walsh T, 2015, Preface
2015
Rossi F; Venable K; Walsh T, 2011, Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan and Claypool Publishers, CA, United States, http://dx.doi.org/10.2200/S00372ED1V01Y201107AIM014
2011
Biere A; Heule M; Maaren HV; Walsh T, 2009, Handbook of Satisfiability: Preface
2009
Rossi F; van Beek P; Walsh T, 2008, Chapter 4 Constraint Programming, http://dx.doi.org/10.1016/S1574-6526(07)03004-0
2008
Rossi F; van Beek P; Walsh T, 2006, Handbook of Constraint Programming Introduction, Rossi F; VanBeek P; Walsh T, (eds.), Foundations of Artificial Intelligence, ELSEVIER SCIENCE BV, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000311250700002&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1
2006
Walsh T, 2001, Preface
2001
Choueiry BY; Walsh T, 2000, Preface
2000