Scientia Professor Toby Walsh

Back to

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, an honorary fellow of the School of Informatics at Edinburgh University and an Associate Member of the Australian Human Rights Institute at UNSW.

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 the Australian Academy of Science, the Association of Computing Machinery (ACM), the American Association for the Advancement of Science, the 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, the Research Excellence Award of the Association for Constraint Programming and the .IJCAI Donald E. Walker Distinguished Service Award. 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.

Phone

0424325167

E-mail

tw@cse.unsw.edu.au

Books | 2021

Biere A; Heule M; Van Maaren H; Walsh T, 2021, Preface first edition

Books | 2021

Biere A; Heule M; Van Maaren H; Walsh T, 2021, Preface second edition

Books | 2021

Biere A; Heule M; van Maaren H; Walsh T, 2021, Handbook of satisfiability: Second edition,

Books | 2021

Biere A; Heule M; van Maaren H; Walsh T, 2021, Preface first edition

Books | 2021

Walsh T, 2021, Foreword: The world in 2062

Books | 2015

Walsh T, 2015, Preface

Books | 2011

Rossi F; Venable K; Walsh T, 2011, Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan and Claypool Publishers, CA, United States,

Books | 2011

Rossi F; Venable KB; Walsh T, 2011, A Short Introduction to Preferences, Springer International Publishing,

Books | 2009

Biere A; Heule M; Maaren HV; Walsh T, 2009, Handbook of Satisfiability: Preface

Books | 2008

Rossi F; van Beek P; Walsh T, 2008, Chapter 4 Constraint Programming,

Books | 2006

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,

Books | 2001

Walsh T, 2001, Preface

Books | 2000

Choueiry BY; Walsh T, 2000, Preface
Book Chapters | 2024

Walsh T, 2024, 'Approximate Mechanism Design for Facility Location with Multiple Objectives', in Frontiers in Artificial Intelligence and Applications, IOS Press,

Book Chapters | 2023

Botan S; Ritossa A; Suzuki M; Walsh T, 2023, 'Maximin Fair Allocation of Indivisible Items Under Cost Utilities', in , pp. 221 - 238,

Book Chapters | 2023

Walsh T, 2023, 'More than Programming?', in The Future of Work and Technology, Chapman and Hall/CRC, pp. 173 - 187,

Book Chapters | 2023

Walsh T, 2023, 'More than Programming?: The Impact of AI on Work and Skills', in The Future of Work and Technology: Global Trends, Challenges and Policies with an Australian Perspective, pp. 173 - 187,

Book Chapters | 2021

Biere A; Heule M; van Maaren H; Walsh T, 2021, 'Preface second edition', in Handbook of Satisfiability: Second Edition, pp. vii - viii

Book Chapters | 2021

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,

Book Chapters | 2021

Walsh T, 2021, 'Adventures in mathematical reasoning', in Mathematical Reasoning: The History and Impact of the DReaM Group, pp. 51 - 61,

Book Chapters | 2017

Gaspers S; Walsh T, 2017, 'Preface', in Theory and Applications of Satisfiability Testing – SAT 2017, Springer International Publishing, pp. V - VIII

Book Chapters | 2016

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,

Book Chapters | 2016

Conitzer V; Walsh T, 2016, 'Barriers to manipulation in voting', in Handbook of Computational Social Choice, pp. 127 - 145,

Book Chapters | 2011

Walsh T, 2011, 'IJCAI International Joint Conference on Artificial Intelligence: Preface', in

Book Chapters | 2010

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,

Book Chapters | 2008

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

Book Chapters | 2006

Gomes C; Walsh T, 2006, 'Chapter 18 Randomness and structure', in Foundations of Artificial Intelligence, pp. 639 - 664,

Book Chapters | 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,

Book Chapters | 2006

Rossi F; van Beek P; Walsh T, 2006, 'Chapter 1 Introduction', in Foundations of Artificial Intelligence, pp. 3 - 12,

Book Chapters | 2006

Rossi F; van Beek P; Walsh T, 2006, 'Chapter 1 Introduction', in Handbook of Constraint Programming, Elsevier, pp. 3 - 12,

Book Chapters | 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,

Book Chapters | 2002

Hnich B; Walsh T, 2002, 'Models of Injection Problems', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 781 - 781,

Book Chapters | 1996

Basin DA; Walsh T, 1996, 'A Calculus for and Termination of Rippling', in Automated Mathematical Induction, Springer Netherlands, pp. 147 - 180,

Book Chapters | 1994

Gent IP; Walsh T, 1994, 'The hardest random SAT problems', in KI-94: Advances in Artificial Intelligence, Springer Nature, pp. 355 - 366,

Book Chapters | 1994

Walsh T, 1994, 'Creative Proof Planning', in Studies in Cognitive Systems, Springer Netherlands, pp. 181 - 193,

Book Chapters | 1991

Giunchiglia F; Walsh T, 1991, 'Using Abstraction', in AISB91, Springer London, pp. 225 - 234,

Book Chapters |

Giunchiglia E; Walsh T, 'Satisfiability in the Year 2005', in SAT 2005, Springer Netherlands, pp. 1 - 2,
Journal articles | 2024

Aziz H; Lu X; Suzuki M; Vollen J; Walsh T, 2024, 'Fair Lotteries for Participatory Budgeting', Proceedings of the AAAI Conference on Artificial Intelligence, 38, pp. 9469 - 9476,

Journal articles | 2024

Aziz H; Schlotter I; Walsh T, 2024, 'Computational complexity of necessary envy-freeness', Mathematical Social Sciences, 127, pp. 86 - 98,

Journal articles | 2024

Bessiere C; Carbonnel C; Dries A; Hebrard E; Katsirelos G; Lazaar N; Narodytska N; Quimper CG; Stergiou K; Tsouros DC; Walsh T, 2024, 'Corrigendum to “Learning constraints through partial queries” [Artificial Intelligence 319 (2023) 103896](S0004370223000425)(10.1016/j.artint.2023.103896)', Artificial Intelligence, 328,

Journal articles | 2024

Liu S; Lu X; Suzuki M; Walsh T, 2024, 'Mixed fair division: A survey', Journal of Artificial Intelligence Research, 80, pp. 1373 - 1406,

Journal articles | 2024

Olckers M; Walsh T, 2024, 'Manipulation and peer mechanisms: A survey', Artificial Intelligence, 336,

Journal articles | 2023

Bessiere C; Carbonnel C; Dries A; Hebrard E; Katsirelos G; Lazaar N; Narodytska N; Quimper CG; Stergiou K; Tsouros DC; Walsh T, 2023, 'Learning constraints through partial queries', Artificial Intelligence, 319,

Journal articles | 2023

Walsh T, 2023, 'Will AI end privacy? How do we avoid an Orwellian future', AI and Society, 38, pp. 1239 - 1240,

Journal articles | 2022

Aziz H; Caragiannis I; Igarashi A; Walsh T, 2022, 'Fair allocation of indivisible goods and chores', Autonomous Agents and Multi-Agent Systems, 36,

Journal articles | 2022

Chircop PA; Surendonk TJ; van den Briel MHL; Walsh T, 2022, 'On routing and scheduling a fleet of resource-constrained vessels to provide ongoing continuous patrol coverage', Annals of Operations Research, 312, pp. 723 - 760,

Journal articles | 2022

George A; Walsh T, 2022, 'Artificial intelligence is breaking patent law', Nature, 605, pp. 616 - 618,

Journal articles | 2022

George A; Walsh T, 2022, 'Can AI invent?', Nature Machine Intelligence, 4, pp. 1057 - 1060,

Journal articles | 2022

Walsh T, 2022, 'The troubling future for facial recognition software', Communications of the ACM, 65, pp. 35 - 36,

Journal articles | 2020

van Bevern R; Komusiewicz C; Molter H; Niedermeier R; Sorge M; Walsh T, 2020, 'H-index manipulation by undoing merges', Quantitative Science Studies, 1, pp. 1529 - 1552,

Journal articles | 2019

Aziz H; Lev O; Mattei N; Rosenschein JS; Walsh T, 2019, 'Strategyproof peer selection using randomization, partitioning, and apportionment', Artificial Intelligence, 275, pp. 295 - 309,

Journal articles | 2019

Walsh T, 2019, 'Australia's AI futured', Journal and Proceedings of the Royal Society of New South Wales, 152, pp. 101 - 104

Journal articles | 2019

Walsh T, 2019, 'Experiments in social media', AI Magazine, 40, pp. 74 - 77,

Journal articles | 2018

Aziz H; Gaspers S; Mackenzie S; Mattei N; Stursberg P; Walsh T, 2018, 'Fixing balanced knockout and double elimination tournaments', Artificial Intelligence, 262, pp. 1 - 14,

Journal articles | 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

Journal articles | 2018

Walsh T, 2018, 'Expert and Non-expert Opinion About Technological Unemployment', International Journal of Automation and Computing, 15, pp. 637 - 642,

Journal articles | 2018

Walsh T, 2018, 'The new robber barons', AI Matters, 4, pp. 25 - 26,

Journal articles | 2018

2018, 'Fair allocation of combinations of indivisible goods and chores',

Journal articles | 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, 48, pp. 461 - 485,

Journal articles | 2017

Bredereck R; Chen J; Niedermeier R; Walsh T, 2017, 'Parliamentary voting procedures: Agenda control, manipulation, and uncertainty', Journal of Artificial Intelligence Research, 59, pp. 133 - 173,

Journal articles | 2017

Burton E; Goldsmith J; Koenig S; Kuipers B; Mattei N; Walsh T, 2017, 'Ethical considerations in artificial intelligence courses', AI Magazine, 38, pp. 22 - 34,

Journal articles | 2017

Fischetti M; Liberti L; Salvagnin D; Walsh T, 2017, 'Orbital shrinking: Theory and applications', Discrete Applied Mathematics, 222, pp. 109 - 123,

Journal articles | 2017

Walsh T, 2017, 'The singularity may never be near', AI Magazine, 38, pp. 58 - 62,

Journal articles | 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, 56, pp. 573 - 611,

Journal articles | 2016

Eaton E; Dietterich T; Gini M; Grosz BJ; Isbell CL; Kambhampati S; Littman M; Rossi F; Russell S; Stone P; Walsh T; Wooldridge M, 2016, 'Who speaks for AI?', AI Matters, 2, pp. 4 - 14,

Journal articles | 2016

Narodytska N; Petit T; Siala M; Walsh T, 2016, 'Three generalizations of the FOCUS constraint', Constraints, 21, pp. 495 - 532,

Journal articles | 2016

Walsh T, 2016, 'Author responds', Communications of the ACM, 59, pp. 17,

Journal articles | 2016

Walsh T, 2016, 'More Than a Red Flag for AIs Reply', COMMUNICATIONS OF THE ACM, 59, pp. 17 - 17,

Journal articles | 2016

Walsh T, 2016, 'More to Asimov's first law: Author Responds', Communications of the ACM, 59, pp. 9,

Journal articles | 2016

Walsh T, 2016, 'Turing's red flag', Communications of the ACM, 59, pp. 34 - 37,

Journal articles | 2016

Walsh T, 2016, 'Unintended consequences of trusting ais: Author Responds', Communications of the ACM, 59, pp. 8,

Journal articles | 2016

Walsh T, 2016, 'What if… We create human-level artificial intelligence?', New Scientist, 232, pp. 32 - 34,

Journal articles | 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, 240, pp. 19 - 35,

Journal articles | 2016

2016, 'Approximation Algorithms for Max-Min Share Allocations of Indivisible Chores and Goods',

Journal articles | 2016

Mattei N; Walsh T, 2016, 'Empirical Evaluation of Real World Tournaments',

Journal articles | 2015

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, 36, pp. 90 - 101,

Journal articles | 2015

Aziz H; Gaspers S; Mackenzie S; Walsh T, 2015, 'Fair assignment of indivisible objects under ordinal preferences', Artificial Intelligence, 227, pp. 71 - 92,

Journal articles | 2015

Aziz H; Gaspers S; Mackenzie S; Walsh T, 2015, 'Fair assignment of indivisible objects under ordinal preferences.', Artif. Intell., 227, pp. 71 - 92,

Journal articles | 2015

Aziz H; Gaspers S; Mackenzie S; Walsh T, 2015, 'Two Desirable Fairness Concepts for Allocation of Indivisible Objects under Ordinal Preferences', ACM SIGECOM EXCHANGES, 14, pp. 16 - 21,

Journal articles | 2015

2015, 'Algorithms for two variants of Satisfaction Approval Voting',

Journal articles | 2014

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, 217, pp. 20 - 42,

Journal articles | 2014

Walsh T, 2014, 'Candy crushs puzzling mathematics', American Scientist, 102, pp. 430 - 433,

Journal articles | 2013

Walsh T, 2013, 'Look beyond North America', Communications of the ACM, 56, pp. 10 - 11,

Journal articles | 2013

Gelain M; Pini MS; Rossi F; Venable KB; Walsh T, 2013, 'Local search approaches in stable matching problems', Algorithms, 6, pp. 591 - 617,

Journal articles | 2013

Narodytska N; Skocovsky P; Walsh T, 2013, 'Global SPACING Constraint (Technical Report)', ArXiv,

Journal articles | 2013

Pini MS; Rossi F; Brent Venable K; Walsh T, 2013, 'Stability, optimality and manipulation in matching problems with weighted preferences', Algorithms, 6, pp. 782 - 804,

Journal articles | 2013

Pini MS; Rossi F; Venable KB; Walsh T, 2013, 'Stability and Optimality in Matching Problems with Weighted Preferences', Communications in Computer and Information Science, 271, pp. 319 - 333,

Journal articles | 2013

Grandi U; Loreggia A; Rossi F; Venable KB; Walsh T, 2013, 'Restricted Manipulation in Iterative Voting: Convergence and Condorcet Efficiency', ,

Journal articles | 2012

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, 33, pp. 115 - 127,

Journal articles | 2011

Balafoutis ; Paparrizou A; Stergiou K; Walsh T, 2011, 'New algorithms for max restricted path consistency', Constraints, 16, pp. 372 - 406,

Journal articles | 2011

Drescher C; Tifrea O; Walsh T, 2011, 'Symmetry-breaking answer set solving', AI Communications, 24, pp. 177 - 194,

Journal articles | 2011

Pini MS; Rossi F; Venable K; Walsh T, 2011, 'Manipulation complexity and gender neutrality in stable marriage procedures', Autonomous Agents and Multi - Agent Systems, 22, pp. 183 - 199,

Journal articles | 2011

Pini MS; Rossi F; Venable KB; Walsh T, 2011, 'Incompleteness and incomparability in preference aggregation: Complexity results', Artificial Intelligence, 175, pp. 1272 - 1289,

Journal articles | 2011

Walsh T, 2011, 'Is computational complexity a barrier to manipulation?', Annals of Mathematics and Artificial Intelligence, 62, pp. 7 - 26,

Journal articles | 2011

Walsh T, 2011, 'Where are the hard manipulation problems?', Journal of Artificial Intelligence Research, 42, pp. 1 - 29,

Journal articles | 2011

Yaman F; Walsh TJ; Littman ML; Desjardins M, 2011, 'Democratic approximation of lexicographic preference models', ARTIFICIAL INTELLIGENCE, 175, pp. 1290 - 1307,

Journal articles | 2010

Drescher C; Walsh T, 2010, 'A translational approach to constraint answer set solving', Theory and Practice of Logic Programming, 10, pp. 465 - 480,

Journal articles | 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, 174, pp. 270 - 294,

Journal articles | 2009

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, 173, pp. 1054 - 1078,

Journal articles | 2009

Miguel I; Frisch A; Hnich B; Kiziltan Z; Walsh T, 2009, 'Filtering Algorithms for the MultiSet Ordering Constraint', Artificial Intelligence, 173 (2009), pp. 299 - 328,

Journal articles | 2009

Pini M; Rossi F; Venable K; Walsh T, 2009, 'Aggregating Partially Ordered Preferences', Journal of Logic and Computation, 19, pp. 475 - 502,

Journal articles | 2009

Pini MS; Rossi F; Venable B; Walsh T, 2009, 'Aggregating partially ordered preferences: fairness and startegy proofness', Journal of Logic and Computation, 19, pp. 475 - 502,

Journal articles | 2008

Bessiere C; Stergiou K; Walsh T, 2008, 'Domain filtering consistencies for non-binary constraints', Artificial Intelligence, 172, pp. 800 - 822,

Journal articles | 2008

Rossi F; Venable B; Walsh T, 2008, 'Preferences in constraint satisfaction and optimization', AI Magazine, 29, pp. 58 - 68

Journal articles | 2007

Bessiere C; Hnich B; Walsh T; Hebrard E, 2007, 'The complexity of reasoning with global constraints', Constraints, 12, pp. 239 - 259,

Journal articles | 2007

Narodytska N; Walsh T, 2007, 'Constraint and variable-ordering heuristics for compiling configuration problems', , pp. 78 - 81

Journal articles | 2007

Walsh T, 2007, 'Representing and reasoning with preferences', AI Magazine, 28, pp. 59 - 69

Journal articles | 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, 196, pp. 3614 - 3623,

Journal articles | 2006

Bessiere C; Hebrard E; Hnich B; Kiziltan Z; Walsh T, 2006, 'Filtering algorithms for the NVALUE constraint', Constraints, 11, pp. 271 - 293

Journal articles | 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, 12, pp. 263 - 285

Journal articles | 2006

Frisch A; Hnich B; Kiziltan Z; Miguel I; Walsh T, 2006, 'Propagation algorithms for lexicographic ordering constraints', Artificial Intelligence, 170, pp. 803 - 834

Journal articles | 2006

Takenaga Y; Walsh T, 2006, 'TETRAVEX is NP-complete', Information Processing Letters, 99, pp. 171 - 174

Journal articles | 2006

Tarim S; Manandhar S; Walsh T, 2006, 'Stochastic constraint programming: A scenario-based approach', Constraints, 11, pp. 53 - 80

Journal articles | 2005

Giunchiglia E; Walsh T, 2005, 'Satisfiability in the Year 2005', Journal of Automated Reasoning, 35, pp. 1 - 2,

Journal articles | 2005

Walsh T, 2005, 'Aims and scope', AI Communications, 18, pp. 1

Journal articles | 2004

Hnich B; Kiziltan Z; Miguel I; Walsh T, 2004, 'Hybrid modelling for robust solving', Annals of Operations Research, 130, pp. 19 - 39,

Journal articles | 2004

Hnich B; Smith BM; Walsh T, 2004, 'Dual modelling of permutation and injection problems', Journal of Artificial Intelligence Research, 21, pp. 357 - 391,

Journal articles | 2004

van Beek P; Walsh T, 2004, 'Principles of Constraint Programming and Constraint Processing: A Review', AI Magazine, 25, pp. 105 - 106,

Journal articles | 2002

Bacchus F; Chen X; Van Beek P; Walsh T, 2002, 'Binary vs. non-binary constraints', Artificial Intelligence, 140, pp. 1 - 37,

Journal articles | 2002

Gent IP; Walsh T, 2002, 'Satisfiability in the year 2000', Journal of Automated Reasoning, 28, pp. 99,

Journal articles | 2001

Gent IP; Macintyre E; Prosser P; Smith BM; Walsh T, 2001, 'Random constraint satisfaction: Flaws and structure', Constraints, 6, pp. 345 - 372,

Journal articles | 2000

Colton S; Bundy A; Walsh T, 2000, 'On the notion of interestingness in automated mathematical discovery', International Journal of Human Computer Studies, 53, pp. 351 - 375,

Journal articles | 2000

Gent I; Stergiou K; Walsh T, 2000, 'Decomposable constraints', Artificial Intelligence, 123, pp. 133 - 156,

Journal articles | 2000

Gent IP; Walsh T, 2000, 'Satisfiability in the year 2000', Journal of Automated Reasoning, 24, pp. 1 - 3,

Journal articles | 1999

Gent IP; Walsh T, 1999, 'Paul R. Cohen's Empirical Methods for Artificial Intelligence', Artificial Intelligence, 113, pp. 285 - 290,

Journal articles | 1998

Frank J; Gent IP; Walsh T, 1998, 'Asymptotic and finite size parameters for phase transitions: Hamiltonian circuit as a case study', Information Processing Letters, 65, pp. 241 - 245,

Journal articles | 1998

Gent IP; Walsh T, 1998, 'Analysis of heuristics for number partitioning', Computational Intelligence, 14, pp. 430 - 451,

Journal articles | 1997

Bundy A; Giunchiglia F; Villafiorita A; Walsh T, 1997, 'Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem', Journal of Automated Reasoning, 19, pp. 319 - 346,

Journal articles | 1997

Giunchiglia F; Villafiorita A; Walsh T, 1997, 'Theories of abstraction', AI Communications, 10, pp. 167 - 176,

Journal articles | 1996

Basin DA; Walsh T, 1996, 'A calculus for and termination of rippling', Journal of Automated Reasoning, 16, pp. 147 - 180,

Journal articles | 1996

Bundy A; Giunchiglia F; Sebastiani R; Walsh T, 1996, 'Calculating criticalities', Artificial Intelligence, 88, pp. 39 - 67,

Journal articles | 1996

Gent IP; Walsh T, 1996, 'The TSP phase transition', Artificial Intelligence, 88, pp. 349 - 358,

Journal articles | 1996

Gent IP; Walsh T, 1996, 'The satisfiability constraint gap', Artificial Intelligence, 81, pp. 59 - 80,

Journal articles | 1996

Walsh T, 1996, 'A divergence critic for inductive proof', Journal of Artificial Intelligence Research, 4, pp. 209 - 235,

Journal articles | 1994

Gent IP; Walsh T, 1994, 'Easy problems are sometimes hard', Artificial Intelligence, 70, pp. 335 - 345,

Journal articles | 1993

Gent IP; Walsh T, 1993, 'Empirical analysis of search in GSAT', Journal of Artificial Intelligence Research, 1, pp. 47 - 59,

Journal articles | 1993

Giunchiglia F; Walsh T, 1993, 'The inevitability of inconsistent abstract spaces', Journal of Automated Reasoning, 11, pp. 23 - 41,

Journal articles | 1993

Walsh T, 1993, 'ECAI’92: A methodological malaise?', AI Communications, 6, pp. 59 - 61,

Journal articles | 1992

BASIN D; WALSH T, 1992, 'DIFFERENCE MATCHING', LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 607, pp. 295 - 309,

Journal articles | 1992

Giunchiglia F; Walsh T, 1992, 'A theory of abstraction', Artificial Intelligence, 57, pp. 323 - 389,

Journal articles | 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), 607 LNAI, pp. 325 - 339,

Journal articles | 1982

WALSH TR, 1982, 'THE TOWERS OF HANOI REVISITED - MOVING THE RINGS BY COUNTING THE MOVES', INFORMATION PROCESSING LETTERS, 15, pp. 64 - 67,
Working Papers | 2020

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),

Working Papers | 2014

Aziz H; Gaspers S; Gudmundsson J; Mackenzie S; Mattei N; Walsh T, 2014, Computational aspects of Multi-Winner approval voting,

Working Papers | 2014

Aziz H; Gaspers S; Mackenzie S; Mattei N; Stursberg P; Walsh T, 2014, Fixing a balanced knockout tournament,
Preprints | 2024

Aziz H; Lu X; Suzuki M; Vollen J; Walsh T, 2024, Fair Lotteries for Participatory Budgeting,

Conference Papers | 2024

Lam A; Aziz H; Li B; Ramezani F; Walsh T, 2024, 'Proportional Fairness in Obnoxious Facility Location', in Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, pp. 1075 - 1083

Conference Papers | 2024

Liu S; Lu X; Suzuki M; Walsh T, 2024, 'Mixed Fair Division: A Survey', in Proceedings of the AAAI Conference on Artificial Intelligence, pp. 22641 - 22649,

Conference Papers | 2024

Walsh T, 2024, 'Generative AI: why all the fuss?', in Proceedings of the Genetic and Evolutionary Computation Conference, ACM, pp. 3 - 3, presented at GECCO '24: Genetic and Evolutionary Computation Conference,

Conference Papers | 2024

Walsh T, 2024, 'Mechanisms That Play a Game, Not Toss a Coin', in IJCAI International Joint Conference on Artificial Intelligence, pp. 3005 - 3013

Conference Papers | 2023

Aziz H; Lam A; Li B; Ramezani F; Walsh T, 2023, 'Proportional Fairness in Obnoxious Facility Location', in Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, pp. 2646 - 2648

Preprints | 2023

Aziz H; Lu X; Suzuki M; Vollen J; Walsh T, 2023, Best-of-Both-Worlds Fairness in Committee Voting, ,

Conference Papers | 2023

Aziz H; Suksompong W; Sun Z; Walsh T, 2023, 'Fairness Concepts for Indivisible Items with Externalities', in Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023, pp. 5472 - 5480

Preprints | 2023

Olckers M; Walsh T, 2023, Incentives to Offer Algorithmic Recourse, ,

Conference Papers | 2022

Aziz H; Lam A; Suzuki M; Walsh T, 2022, 'Random Rank: The One and Only Strategyproof and Proportionally Fair Randomized Facility Location Mechanism', in Advances in Neural Information Processing Systems

Preprints | 2022

Littman ML; Ajunwa I; Berger G; Boutilier C; Currie M; Doshi-Velez F; Hadfield G; Horowitz MC; Isbell C; Kitano H; Levy K; Lyons T; Mitchell M; Shah J; Sloman S; Vallor S; Walsh T, 2022, Gathering Strength, Gathering Storms: The One Hundred Year Study on Artificial Intelligence (AI100) 2021 Study Panel Report,

Preprints | 2022

Olckers M; Vidler A; Walsh T, 2022, What Type of Explanation Do Rejected Job Applicants Want? Implications for Explainable AI, ,

Preprints | 2022

Olckers M; Walsh T, 2022, Manipulation and Peer Mechanisms: A Survey, ,

Conference Papers | 2022

Walsh T, 2022, 'Strategy Proof Mechanisms for Facility Location with Capacity Limits', in IJCAI International Joint Conference on Artificial Intelligence, Vienna, pp. 527 - 533, presented at Thirty-First International Joint Conference on Artificial Intelligence, Vienna, 23 July 2022 - 29 July 2022,

Preprints | 2021

Aziz H; Suksompong W; Sun Z; Walsh T, 2021, Fairness Concepts for Indivisible Items with Externalities, ,

Conference Papers | 2021

Sun Z; Todo T; Walsh T, 2021, 'Fair Pairwise Exchange among Groups', in IJCAI International Joint Conference on Artificial Intelligence, pp. 419 - 425,

Conference Papers | 2021

Tan M; Dai Z; Ren Y; Walsh T; Aleksandrov M, 2021, 'Minimal-envy Conference Paper Assignment: Formulation and a Fast Iterative Algorithm', in Proceedings of 2021 5th Asian Conference on Artificial Intelligence Technology, ACAIT 2021, pp. 667 - 674,

Conference Papers | 2021

Walsh T, 2021, 'Strategy Proof Mechanisms for Facility Location at Limited Locations', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 113 - 124,

Conference Papers | 2020

Aleksandrov M; Walsh T, 2020, 'Online fair division: A survey', in AAAI 2020 - 34th AAAI Conference on Artificial Intelligence, pp. 13557 - 13562

Conference Papers | 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,

Reports | 2020

Aziz H; Gaspers S; Sun Z; Walsh T, 2020, From Matching with Diversity Constraints to Matching with Regional Quotas.

Preprints | 2020

Aziz H; Gaspers S; Sun Z; Walsh T, 2020, From Matching with Diversity Constraints to Matching with Regional Quotas,

Preprints | 2020

Bessiere C; Carbonnel C; Dries A; Hebrard E; Katsirelos G; Lazaar N; Narodytska N; Quimper C-G; Stergiou K; Tsouros DC; Walsh T, 2020, Partial Queries for Constraint Acquisition, ,

Conference Papers | 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

Conference Papers | 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

Conference Papers | 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

Conference Papers | 2020

Narodytska N; Zhang H; Gupta A; Walsh T, 2020, 'IN SEARCH FOR A SAT-FRIENDLY BINARIZED NEURAL NETWORK ARCHITECTURE', in 8th International Conference on Learning Representations, ICLR 2020

Conference Papers | 2020

Walsh T, 2020, 'Fair division: The computer scientist's perspective', in IJCAI International Joint Conference on Artificial Intelligence, pp. 4966 - 4972

Conference Papers | 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,

Conference Papers | 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,

Conference Papers | 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,

Conference Papers | 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,

Conference Papers | 2019

Aziz H; Sun Z; Gaspers S; Walsh T, 2019, 'From matching with diversity constraints to matching with regional quotas', in Elkind E; Veloso M; Agmon N; Taylor ME (eds.), Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, ASSOC COMPUTING MACHINERY, CANADA, Montreal, pp. 377 - 385, presented at 18th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS), CANADA, Montreal, 13 May 2019 - 17 May 2019,

Preprints | 2019

Frisch AM; Hnich B; Kiziltan Z; Miguel I; Walsh T, 2019, A Commentary on "Breaking Row and Column Symmetries in Matrix Models", ,

Conference Papers | 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,

Conference Papers | 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,

Conference Papers | 2018

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,

Conference Papers | 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,

Conference Papers | 2017

Aleksandrov M; Walsh T, 2017, 'Expected Outcomes and Manipulations in Online Fair Division', in KernIsberner G; Furnkranz J; Thimm M (eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, Dortmund, Germany, pp. 29 - 43, presented at 40th Annual German Conference on AI, Dortmund, Germany, 25 September 2017 - 29 September 2017,

Conference Papers | 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,

Conference Papers | 2017

Aleksandrov M; Walsh T, 2017, 'Pure Nash equilibria in online fair division', in IJCAI International Joint Conference on Artificial Intelligence, pp. 42 - 48,

Conference Papers | 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,

Conference Papers | 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

Conference Papers | 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

Preprints | 2017

Burton E; Goldsmith J; Koenig S; Kuipers B; Mattei N; Walsh T, 2017, Ethical Considerations in Artificial Intelligence Courses, ,

Conference Papers | 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,

Conference Papers | 2017

Mattei N; Saffidine A; Walsh T, 2017, 'Mechanisms for online Organ matching', in IJCAI International Joint Conference on Artificial Intelligence, pp. 345 - 351,

Preprints | 2017

Narodytska N; Kasiviswanathan SP; Ryzhyk L; Sagiv M; Walsh T, 2017, Verifying Properties of Binarized Deep Neural Networks, ,

Recorded / Rendered Creative Works | 2017

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,

Conference Papers | 2017

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,

Conference Papers | 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,

Conference Papers | 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,

Preprints | 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,

Conference Papers | 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,

Conference Papers | 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,

Conference Papers | 2016

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

Preprints | 2016

Aziz H; Lev O; Mattei N; Rosenschein JS; Walsh T, 2016, Strategyproof Peer Selection using Randomization, Partitioning, and Apportionment, ,

Conference Papers | 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,

Conference Papers | 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

Conference Papers | 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,

Conference Papers | 2016

Walsh T, 2016, 'Strategic behaviour when allocating indivisible goods', in 30th AAAI Conference on Artificial Intelligence, AAAI 2016, pp. 4177 - 4183

Preprints | 2016

van Bevern R; Komusiewicz C; Molter H; Niedermeier R; Sorge M; Walsh T, 2016, h-Index Manipulation by Undoing Merges, ,

Conference Papers | 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,

Preprints | 2015

Aleksandrov M; Aziz H; Gaspers S; Walsh T, 2015, Online Fair Division: analysing a Food Bank problem, ,

Reports | 2015

Aleksandrov M; Aziz H; Gaspers S; Walsh T, 2015, Online fair division: Analysing a food bank problem

Conference Papers | 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

Conference Papers | 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,

Reports | 2015

Aziz H; Gaspers S; Gudmundsson J; Mackenzie S; Mattei N; Walsh T, 2015, Computational aspects of multi-winner approval voting

Conference Papers | 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,

Conference Papers | 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,

Preprints | 2015

Aziz H; Gaspers S; Mackenzie S; Mattei N; Narodytska N; Walsh T, 2015, Equilibria Under the Probabilistic Serial Rule,

Reports | 2015

Aziz H; Gaspers S; Mackenzie S; Mattei N; Narodytska N; Walsh T, 2015, Equilibria under the probabilistic serial rule

Preprints | 2015

Aziz H; Gaspers S; Mackenzie S; Mattei N; Narodytska N; Walsh T, 2015, Manipulating the Probabilistic Serial Rule,

Reports | 2015

Aziz H; Gaspers S; Mackenzie S; Mattei N; Narodytska N; Walsh T, 2015, Manipulating the probabilistic serial rule

Conference Papers | 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, AI ACCESS FOUNDATION, Austin, Texas USA, pp. 2 - 10, presented at 2015 AAAI Workshop, Austin, Texas USA, 25 January 2015 - 26 January 2015,

Conference Papers | 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

Conference Papers | 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

Conference Papers | 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

Preprints | 2015

Bredereck R; Chen J; Niedermeier R; Walsh T, 2015, Parliamentary Voting Procedures: Agenda Control, Manipulation, and Uncertainty, ,

Conference Papers | 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

Conference Papers | 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

Conference Papers | 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)

Conference Papers | 2015

Walsh T, 2015, 'Challenges in resource and cost allocation', in Proceedings of the National Conference on Artificial Intelligence, pp. 4073 - 4077

Conference Papers | 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,

Preprints | 2014

Aziz H; Brill M; Conitzer V; Elkind E; Freeman R; Walsh T, 2014, Justified Representation in Approval-Based Committee Voting, ,

Preprints | 2014

Aziz H; Cahan C; Gretton C; Kilby P; Mattei N; Walsh T, 2014, A Study of Proxies for Shapley Allocations of Transport Costs, ,

Preprints | 2014

Aziz H; Gaspers S; Gudmundsson J; Mackenzie S; Mattei N; Walsh T, 2014, Computational Aspects of Multi-Winner Approval Voting,

Conference Papers | 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

Conference Papers | 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, FRANCE, Paris, pp. 1305 - 1312, presented at International Conference on Autonomous Agents and Multiagent Systems (AAMAS), FRANCE, Paris, 05 May 2014 - 09 May 2014,

Conference Papers | 2014

Aziz H; Gaspers S; Mackenzie S; Walsh T, 2014, 'Fair assignment of indivisible objects under ordinal preferences', in Bazzan ALC; Huhns MN; Lomuscio A; Scerri P (eds.), 13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014, Elsevier, pp. 1305 - 1312,

Reports | 2014

Aziz H; Gaspers S; Mattei N; Narodytska N; Walsh T, 2014, Strategic aspects of the probabilistic serial rule for the allocation of goods,

Preprints | 2014

Aziz H; Gaspers S; Mattei N; Narodytska N; Walsh T, 2014, Strategic aspects of the probabilistic serial rule for the allocation of goods, ,

Conference Papers | 2014

Aziz H; Walsh T, 2014, 'Justified representation in Approval-Based committee voting', in AAAI Workshop - Technical Report, pp. 20 - 25

Conference Papers | 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

Conference Papers | 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,

Conference Papers | 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,

Conference Papers | 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,

Conference Papers | 2014

Gaspers S; Naroditskiy V; Narodytska N; Walsh T, 2014, 'Possible and Necessary Winner Problem in Social Polls (extended abstract)', Saint Paul, presented at roceedings of the 2013 international conference on Autonomous agents and multi-agent system, Saint Paul, 06 May 2014 - 10 May 2014,

Conference Papers | 2014

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

Conference Papers | 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,

Conference Papers | 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

Conference Papers | 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,

Preprints | 2014

Narodytska N; Walsh T, 2014, The Computational Impact of Partial Votes on Strategic Voting, ,

Conference Papers | 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,

Conference Papers | 2014

Walsh T, 2014, 'The PeerRank method for peer assessment', in Frontiers in Artificial Intelligence and Applications, pp. 909 - 914,

Preprints | 2014

van Bevern R; Komusiewicz C; Niedermeier R; Sorge M; Walsh T, 2014, H-Index Manipulation by Merging Articles: Models, Theory, and Experiments, ,

Conference Papers | 2014

Mattei N; Narodytska N; Walsh T, 2014, 'How hard is it to control an election by breaking ties?',

Conference Papers | 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

Preprints | 2013

Aziz H; Gaspers S; Mackenzie S; Walsh T, 2013, Fair assignment of indivisible objects under ordinal preferences,

Conference Papers | 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,

Conference Papers | 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,

Conference Papers | 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

Conference Papers | 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

Conference Papers | 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,

Conference Papers | 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

Conference Papers | 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,

Preprints | 2013

Gaspers S; Kalinowski T; Narodytska N; Walsh T, 2013, Coalitional Manipulation for Schulze's Rule, ,

Reports | 2013

Gaspers S; Kalinowski T; Narodytska N; Walsh T, 2013, Coalitional Manipulation for Schulze’s Rule

Preprints | 2013

Gaspers S; Naroditskiy V; Narodytska N; Walsh T, 2013, Possible and Necessary Winner Problem in Social Polls, ,

Conference Papers | 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,

Preprints | 2013

Grandi U; Loreggia A; Rossi F; Venable KB; Walsh T, 2013, Restricted Manipulation in Iterative Voting: Convergence and Condorcet Efficiency, ,

Conference Papers | 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

Conference Papers | 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,

Preprints | 2013

Mattei N; Narodytska N; Walsh T, 2013, How Hard Is It to Control an Election by Breaking Ties?, ,

Conference Papers | 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,

Conference Papers | 2013

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

Preprints | 2013

Narodytska N; Petit T; Siala M; Walsh T, 2013, Three Generalizations of the FOCUS Constraint, ,

Preprints | 2013

Narodytska N; Skocovsky P; Walsh T, 2013, Global SPACING Constraint (Technical Report), ,

Conference Papers | 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,

Conference Papers | 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,

Conference Papers | 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

Preprints | 2013

Narodytska N; Walsh T, 2013, Breaking Symmetry with Different Orderings, ,

Conference Papers | 2012

Davies J; Narodytska N; Walsh T, 2012, 'Eliminating the Weakest Link: Making Manipulation Intractable?', in Proceedings of the 26th AAAI Conference on Artificial Intelligence, AAAI 2012, pp. 1333 - 1339

Conference Papers | 2012

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,

Conference Papers | 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,

Preprints | 2012

Katsirelos G; Narodytska N; Walsh T, 2012, The SeqBin Constraint Revisited, ,

Preprints | 2012

Narodytska N; Walsh T; Xia L, 2012, Combining Voting Rules Together, ,

Conference Papers | 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,

Conference Papers | 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

Conference Papers | 2012

Walsh T, 2012, 'Symmetry Breaking Constraints: Recent Results', in Proceedings of the 26th AAAI Conference on Artificial Intelligence, AAAI 2012, pp. 2192 - 2198

Preprints | 2012

de Haan R; Narodytska N; Walsh T, 2012, The RegularGcc Matrix Constraint, ,

Conference Papers | 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,

Preprints | 2011

Bessiere C; Narodytska N; Quimper C-G; Walsh T, 2011, The AllDifferent Constraint with Precedences, ,

Conference Papers | 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,

Conference Papers | 2011

Brafman R; Pilotto E; Rossi F; Salvagnin D; Venable KB; Walsh T, 2011, 'The Next Best Solution', in Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011, pp. 1537 - 1540

Conference Papers | 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

Conference Papers | 2011

Conitzer V; Walsh T; Xia L, 2011, 'Dominating Manipulations in Voting with Partial Information', in Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011, pp. 638 - 643

Conference Papers | 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

Preprints | 2011

Conitzer V; Walsh T; Xia L, 2011, Dominating Manipulations in Voting with Partial Information, ,

Conference Papers | 2011

Davies J; Katsirelos G; Narodytska N; Walsh T, 2011, 'Complexity of and Algorithms for Borda Manipulation', in Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011, pp. 657 - 662

Preprints | 2011

Davies J; Katsirelos G; Narodytska N; Walsh T, 2011, Complexity of and Algorithms for Borda Manipulation, ,

Conference Papers | 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, presented at 25th AAAI conference on Artificial Intelligence, AAAI-11, San Francisco USA, 07 August 2011 - 11 August 2011,

Conference Papers | 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,

Conference Papers | 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,

Preprints | 2011

Drescher C; Eiter T; Fink M; Krennwallner T; Walsh T, 2011, Symmetry Breaking for Distributed Multi-Context Systems, ,

Conference Papers | 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

Conference Papers | 2011

Drescher C; Walsh T, 2011, 'Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation', in Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011, pp. 1772 - 1773

Conference Papers | 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,

Conference Papers | 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, presented at 22nd International Joint Conference on Artificial Intelligence, Barcelona, 16 July 2011 - 22 July 2011

Conference Papers | 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,

Conference Papers | 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,

Conference Papers | 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

Conference Papers | 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,

Preprints | 2011

Hnich B; Smith BM; Walsh T, 2011, Dual Modelling of Permutation and Injection Problems, ,

Conference Papers | 2011

Law YC; Lee JHM; Woo MHC; Walsh T, 2011, 'A Comparison of Lex Bounds for Multiset Variables in Constraint Programming', in Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011, pp. 61 - 67

Conference Papers | 2011

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

Conference Papers | 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, presented at 25th AAAI conference on Artificial Intelligence, AAAI-11, San Francisco USA, 07 August 2011 - 11 August 2011,

Conference Papers | 2011

Narodytska N; Walsh T; Xia L, 2011, 'Manipulation of Nanson's and Baldwin's Rules', in Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011, pp. 713 - 718

Preprints | 2011

Narodytska N; Walsh T; Xia L, 2011, Manipulation of Nanson's and Baldwin's Rules, ,

Conference Papers | 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,

Conference Papers | 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,

Conference Papers | 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

Conference Papers | 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,

Preprints | 2010

Balafoutis T; Paparrizou A; Stergiou K; Walsh T, 2010, Improving the Performance of maxRPC, ,

Preprints | 2010

Bessiere C; Katsirelos G; Narodytska N; Quimper C-G; Walsh T, 2010, Decomposition of the NVALUE constraint, ,

Preprints | 2010

Bessiere C; Katsirelos G; Narodytska N; Quimper C-G; Walsh T, 2010, Propagating Conjunctions of AllDifferent Constraints, ,

Conference Papers | 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,

Conference Papers | 2010

Bessiere C; Katsirelos G; Narodytska N; Quimper CG; Walsh T, 2010, 'Propagating Conjunctions of ALLDIFFERENT Constraints', in Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI 2010, pp. 27 - 32

Conference Papers | 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,

Preprints | 2010

Davies J; Katsirelos G; Narodystka N; Walsh T, 2010, An Empirical Study of Borda Manipulation, ,

Conference Papers | 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,

Conference Papers | 2010

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,

Preprints | 2010

Drescher C; Tifrea O; Walsh T, 2010, Symmetry-breaking Answer Set Solving, ,

Preprints | 2010

Gelain M; Pini MS; RossI F; Venable KB; Walsh T, 2010, Local search for stable marriage problems with ties and incomplete lists, ,

Conference Papers | 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,

Conference Papers | 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,

Conference Papers | 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,

Conference Papers | 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,

Preprints | 2010

Gelain M; Pini MS; Rossi F; Venable KB; Walsh T, 2010, Local search for stable marriage problems, ,

Conference Papers | 2010

Heule M; Walsh T, 2010, 'Symmetry within Solutions', in Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI 2010, pp. 77 - 82

Conference Papers | 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,

Preprints | 2010

Katsirelos G; Narodytska N; Walsh T, 2010, On The Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry, ,

Conference Papers | 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,

Preprints | 2010

Katsirelos G; Walsh T, 2010, Symmetries of Symmetry Breaking Constraints, ,

Preprints | 2010

Pini MS; Rossi F; Venable B; Walsh T, 2010, Stable marriage problems with quantitative preferences, ,

Conference Papers | 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,

Conference Papers | 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,

Conference Papers | 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,

Conference Papers | 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,

Conference Papers | 2010

Walsh T, 2010, 'Manipulability of Single Transferable Vote', in Dagstuhl Seminar Proceedings

Conference Papers | 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,

Conference Papers | 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,

Conference Papers | 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,

Conference Papers | 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,

Preprints | 2009

Bessiere C; Hebrard E; Hnich B; Kiziltan Z; Walsh T, 2009, Range and Roots: Two Common Patterns for Specifying and Propagating Counting and Occurrence Constraints, ,

Preprints | 2009

Bessiere C; Hebrard E; Hnich B; Kiziltan Z; Walsh T, 2009, SLIDE: A Useful Special Case of the CARDPATH Constraint, ,

Preprints | 2009

Bessiere C; Hebrard E; Hnich B; Kiziltan Z; Walsh T, 2009, The Parameterized Complexity of Global Constraints, ,

Preprints | 2009

Bessiere C; Hebrard E; Hnich B; Walsh T, 2009, The Complexity of Reasoning with Global Constraints, ,

Preprints | 2009

Bessiere C; Katsirelos G; Narodytska N; Quimper C-G; Walsh T, 2009, Decomposition of the NVALUE constraint, ,

Preprints | 2009

Bessiere C; Katsirelos G; Narodytska N; Quimper C-G; Walsh T, 2009, Decompositions of All Different, Global Cardinality and Related Constraints, ,

Conference Papers | 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, presented at 21st International Joint Conference on Artificial inteliigence, Pasadena USA, 11 July 2009 - 17 July 2009,

Conference Papers | 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, presented at 21st International Joint Conference on Artificial inteliigence, Pasadena USA, 11 July 2009 - 17 July 2009,

Preprints | 2009

Bessiere C; Katsirelos G; Narodytska N; Walsh T, 2009, Circuit Complexity and Decompositions of Global Constraints, ,

Preprints | 2009

Domshlak C; Rossi F; Venable KB; Walsh T, 2009, Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques, ,

Preprints | 2009

Frisch A; Hnich B; Kiziltan Z; Miguel I; Walsh T, 2009, Filtering Algorithms for the Multiset Ordering Constraint, ,

Preprints | 2009

Frisch AM; Miguel I; Kiziltan Z; Hnich B; Walsh T, 2009, Multiset Ordering Constraints, ,

Preprints | 2009

Gelain M; Pini M; Rossi F; Venable B; Walsh T, 2009, Elicitation strategies for fuzzy constraint problems with missing preferences: algorithms and experimental studies, ,

Conference Papers | 2009

Haim S; Walsh T, 2009, 'Restart Strategy Selection using Machine Learning Techniques', in Lecture Notes in Computer Science (Vol 5584), Springer, Germany, presented at Theory and Applications of Satisfiability testing - SAT 2009, Swansea, Wales, UK, 30 June 2009 - 03 July 2009,

Conference Papers | 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, presented at 15th International Conference CP 2009, Lisbon, Portugal, 20 September 2009 - 24 September 2009

Preprints | 2009

Katsirelos G; Maneth S; Narodytska N; Walsh T, 2009, Restricted Global Grammar Constraints, ,

Conference Papers | 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, presented at 6th International Conference CPAIOR 2009, Pittsburgh, PA, USA, 27 May 2009 - 31 May 2009

Preprints | 2009

Katsirelos G; Narodytska N; Walsh T, 2009, Breaking Generator Symmetry, ,

Preprints | 2009

Katsirelos G; Narodytska N; Walsh T, 2009, Combining Symmetry Breaking and Global Constraints, ,

Preprints | 2009

Katsirelos G; Narodytska N; Walsh T, 2009, Reformulating Global Grammar Constraints, ,

Preprints | 2009

Katsirelos G; Narodytska N; Walsh T, 2009, The Weighted CFG Constraint, ,

Conference Papers | 2009

Katsirelos G; Walsh T, 2009, 'Posting static symmetry breaking constraints dynamically', in International Symposium on Combinatorial Search, SoCS 2009

Preprints | 2009

Katsirelos G; Walsh T, 2009, Symmetries of Symmetry Breaking Constraints, ,

Preprints | 2009

Maher MJ; Narodytska N; Quimper C-G; Walsh T, 2009, Flow-Based Propagators for the SEQUENCE and Related Global Constraints, ,

Conference Papers | 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, presented at ADT 2009, Venice, Italy, 20 October 2009 - 23 October 2009

Preprints | 2009

Pini M; Rossi F; Venable B; Walsh T, 2009, Dealing with incomplete agents' preferences and an uncertain agenda in group decision making via sequential majority voting, ,

Preprints | 2009

Pini M; Rossi F; Venable B; Walsh T, 2009, Manipulation and gender neutrality in stable marriage procedures, ,

Conference Papers | 2009

Pini MS; Rossi F; Venable B; Walsh T, 2009, 'Manipulation and gender neutrality in stable marraige peocedures', in AAMAS2009 proceedings, IFAAMAS, Budapest, Hungary, presented at AAMAS 2009 Budapest, Budapest, Hungary, 10 May 2009 - 15 May 2009,

Preprints | 2009

Quimper C-G; Walsh T, 2009, Decompositions of Grammar Constraints, ,

Conference Papers | 2009

Russell T; Walsh T, 2009, 'Manipulating Tournaments in Cup and Round Robin Competitions', in Lecture Notes in Artificial Intelligence 5783, Springer, Belrin / Heidelberg, presented at ADT 2009, Venice, Italy, 20 October 2009 - 23 October 2009,

Preprints | 2009

Tarim SA; Manandhar S; Walsh T, 2009, Stochastic Constraint Programming: A Scenario-Based Approach, ,

Conference Papers | 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, presented at 21st International Joint Conference on Artificial inteliigence, Pasadena USA, 11 July 2009 - 17 July 2009,

Conference Papers | 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, presented at 23rd AAAI conference on artificial intelligence, AAAI-08, Chicago Illinois USA, 13 July 2008 - 17 July 2008

Conference Papers | 2008

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, presented at 18th European conference on Artificial Intelligence, Patras, Greece, 21 July 2008 - 25 July 2008

Conference Papers | 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, presented at 14th International conference on Principles and practice of constraint programming, Sydney, 14 September 2008 - 18 September 2008

Conference Papers | 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

Conference Papers | 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,

Conference Papers | 2008

Haim S; Walsh T, 2008, 'Online estimation of SAT solving runtime', in Theory and applications of satisfiability testing---SAT 2008, Guangzhou, China, presented at Theory and applications of satisfiability testing---SAT 2008, Guangzhou, China, 12 May 2008 - 15 May 2008,

Conference Papers | 2008

Haim S; Walsh T, 2008, 'Online search cost estimation for SAT solvers', in AAAI Workshop - Technical Report, pp. 53 - 60

Conference Papers | 2008

Katsirelos G; Narodytska N; Walsh T, 2008, 'Combining Symmetry Breaking and Global Constraints', in Recent Advances in Constraints, Springer, Berlin/heidelberg, presented at 13th Annual ERCIM International Workshop on Constraint Logic Programming, CSCLP 2008, Rome, Italy, 18 June 2008 - 20 June 2008,

Conference Papers | 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, presented at 5th international conference, CPAIOR 2008, Paris, France, 20 May 2008 - 23 May 2008,

Conference Papers | 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, presented at 14th International conference on Principles and practice of constraint programming, Sydney, 14 September 2008 - 18 September 2008

Conference Papers | 2008

Quimper C; Walsh T, 2008, 'Decomposition of grammar constraints', in 23rd AAAI conference, Proceedings, Chicago Illinois USA, presented at 23rd AAAI conference on artificial intelligence, AAAI-08, Chicago Illinois USA, 13 July 2008 - 17 July 2008

Conference Papers | 2008

Quimper CG; Walsh T, 2008, 'Decompositions of Grammar Constraints', in Proceedings of the 23rd AAAI Conference on Artificial Intelligence, AAAI 2008, pp. 1567 - 1570

Conference Papers | 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, presented at 11th International conference on principles of knowledge representation and reasoning, Sydney, 16 September 2008 - 18 September 2008

Conference Papers | 2008

Walsh T, 2008, 'Breaking Value Symmetry', in Proceedings of the 23rd AAAI Conference on Artificial Intelligence, AAAI 2008, pp. 1585 - 1588

Conference Papers | 2008

Walsh T, 2008, 'Breaking value symmetry', in 23rd AAAI conference, Proceedings, Chicago Illinois USA, presented at 23rd AAAI conference on artificial intelligence, AAAI-08, Chicago Illinois USA, 13 July 2008 - 17 July 2008

Conference Papers | 2008

Walsh T, 2008, 'Complexity issues in preference elicitation and manipulation', in 10th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2008

Conference Papers | 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, presented at 7th International conference on autonomonous agents and multiagent systems, Estoril, Portugal, 12 May 2008 - 16 May 2008

Conference Papers | 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, presented at 7th International symposium on Abstraction, reformulation and approximation, Whistler, Canada, 18 July 2007 - 21 July 2007

Conference Papers | 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, presented at 13th International conference on Principles and practice of constraint programming, Providence, Rhode Island, USA, 23 September 2007 - 27 September 2007

Conference Papers | 2007

Hebrard E; O Sullivan B; Walsh T, 2007, 'Distance constraints in constraint satisfaction', in 20th International joint conference on artificial intelligence, Hyderabad, India, presented at 20th International joint conference on artificial intelligence, Hyderabad, India, 06 January 2007 - 12 January 2007

Conference Papers | 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

Conference Papers | 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,

Conference Papers | 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, presented at 20th International joint conference on artificial intelligence, Hyderabad, India, 06 January 2007 - 12 January 2007

Conference Papers | 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, presented at 20th International joint conference on artificial intelligence, Hyderabad, India, 06 January 2007 - 12 January 2007

Conference Papers | 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, presented at 20th International joint conference on artificial intelligence, Hyderabad, India, 06 January 2007 - 12 January 2007

Conference Papers | 2007

Pini MS; Rossi F; Venable KB; Walsh T, 2007, 'Sequential majority voting with incomplete profiles', in AAAI Workshop - Technical Report, pp. 79 - 84

Conference Papers | 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, presented at 13th International conference on Principles and practice of constraint programming, Providence, Rhode Island, USA, 23 September 2007 - 27 September 2007

Conference Papers | 2007

Walsh T, 2007, 'Breaking value symmetry', in 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

Conference Papers | 2007

Walsh T, 2007, 'Uncertainty in Preference Elicitation and Aggregation', in Proceedings of the 22nd AAAI Conference on Artificial Intelligence, AAAI 2007, pp. 1 - 8

Conference Papers | 2007

Walsh T, 2007, 'Uncertainty in preference elicitation and aggregation', in 22nd AAAI Conference on Artificial Intelligence, AAAI Press, Vancouver BC Canada, presented at 22nd AAAI Conference on Artificial Intelligence, Vancouver BC Canada, 22 July 2007 - 26 July 2007

Conference Papers | 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, presented at 13th International conference on Principles and practice of constraint programming, Providence, Rhode Island, USA, 23 September 2007 - 27 September 2007

Conference Papers | 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

Conference Papers | 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, presented at 12th international conference on principles and practice of constraint programming (CP 2006), Nantes, France, 24 September 2006 - 29 September 2006

Conference Papers | 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, presented at 3rd International Conference, CPAIOR 2006, Cork, Ireland, 31 May 2006 - 02 June 2006

Conference Papers | 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, presented at 21st National Conference on Artificial Intelligence (AAAI-06), Boston, Massachusetts, 16 July 2006 - 20 July 2006

Conference Papers | 2006

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

Conference Papers | 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, presented at European Conference on Artificial Intelligence (ECAI 2006), Riva Del Garda, Italy, 29 August 2006 - 01 September 2006

Conference Papers | 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,

Conference Papers | 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

Conference Papers | 2006

Stergiou K; Walsh T, 2006, 'Inverse Consistencies for Non-binary Constraints', in European Conference on Artificial Intelligence (ECAI 2006), Riva Del Garda, Italy, presented at European Conference on Artificial Intelligence (ECAI 2006), Riva Del Garda, Italy, 29 August 2006 - 01 September 2006

Conference Papers | 2006

Walsh T; Quimper C, 2006, 'Global Grammar Constraints', in 12th international conference on principles and practice of constraint programming (CP 2006), Nantes, France, presented at 12th international conference on principles and practice of constraint programming (CP 2006), Nantes, France, 24 September 2006 - 29 September 2006

Conference Papers | 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, presented at 12th international conference on principles and practice of constraint programming (CP 2006), Nantes, France, 24 September 2006 - 29 September 2006

Conference Papers | 2006

Walsh T, 2006, 'Symmetry breaking using value precedence', in European Conference on Artificial Intelligence (ECAI 2006), Riva Del Garda, Italy, presented at European Conference on Artificial Intelligence (ECAI 2006), Riva Del Garda, Italy, 29 August 2006 - 01 September 2006

Conference Papers | 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,

Conference Papers | 2005

Bacchus F; Walsh T, 2005, 'Lecture Notes in Computer Science: Preface', in Lecture Notes in Computer Science

Conference Papers | 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

Conference Papers | 2005

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, 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

Conference Papers | 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, presented at 20th National conference on artificial intelligence (AAAI 2005), Pittsburgh, Pennsylvania, 30 July 2005 - 05 August 2005

Conference Papers | 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

Conference Papers | 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

Conference Papers | 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, presented at 20th National conference on artificial intelligence (AAAI 2005), Pittsburgh, Pennsylvania, 30 July 2005 - 05 August 2005

Conference Papers | 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

Conference Papers | 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

Conference Papers | 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, presented at 11th International conference on principles and practice of constraint programming, Sitges, Spain, 01 October 2005 - 05 October 2005

Conference Papers | 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,

Conference Papers | 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, presented at 19th International joint conference on artificial intelligence, Edinburgh, Scotland, 30 July 2005 - 05 August 2005

Conference Papers | 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, presented at 11th International conference on principles and practice of constraint programming, Sitges, Spain, 01 October 2005 - 05 October 2005

Conference Papers | 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,

Conference Papers | 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

Conference Papers | 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, presented at 6th international symposium on Abstraction, reformulation, and approximation, Arith Castle, Scotland, 26 July 2005 - 29 July 2005

Conference Papers | 2004

Bessiere C; Hebrard E; Hnich B; Walsh T, 2004, 'Disjoint, partition and intersection constraints for set and multiset variables', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 138 - 152,

Conference Papers | 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,

Conference Papers | 2004

Bessiere C; Hebrard E; Hnich B; Walsh T, 2004, 'The tractability of global constraints', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 716 - 720,

Conference Papers | 2004

Bessière C; Hebrard E; Walsh T, 2004, 'Local consistencies in SAT', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 299 - 314,

Conference Papers | 2004

Hebrard E; Hnich B; Walsh T, 2004, 'Robust solutions for constraint satisfaction and optimization', in Frontiers in Artificial Intelligence and Applications, pp. 186 - 190

Conference Papers | 2004

Hebrard E; Hnich B; Walsh T, 2004, 'Super solutions in constraint programming', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 157 - 172,

Conference Papers | 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, pp. 729 - 734

Conference Papers | 2004

Rossi F, 2004, 'Representing and reasoning with preferences', in Alferes JJ; Leite J (ed.), LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, SPRINGER-VERLAG BERLIN, PORTUGAL, Lisbon, pp. 1 - 1, presented at 9th European Conference on Logics in Artificial Intelligence (JELIA 04), PORTUGAL, Lisbon, 27 September 2004 - 30 September 2004,

Conference Papers | 2004

Thiffault C; Bacchus F; Walsh T, 2004, 'Solving non-clausal formulas with DPLL search', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 663 - 678,

Conference Papers | 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

Conference Papers | 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

Conference Papers | 2003

Frisch AM; Miguel I; Walsh T, 2003, 'CGRASS: A system for transforming constraint satisfaction problems', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 15 - 30,

Conference Papers | 2003

Manandhar S; Tarim A; Walsh T, 2003, 'Scenario-based stochastic constraint programming', in IJCAI International Joint Conference on Artificial Intelligence, pp. 257 - 262

Conference Papers | 2003

Walsh T, 2003, 'Consistency and propagation with multiset constraints: A formal viewpoint', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 724 - 738,

Conference Papers | 2003

Walsh T, 2003, 'Constraint patterns', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 53 - 64,

Conference Papers | 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, FRANCE, DIJON, pp. 73 - 88, presented at 4th International Conference on Discrete Mathematics and Theoretical Computer Science (DMTCS 2003), FRANCE, DIJON, 07 July 2003 - 12 July 2003,

Conference Papers | 2002

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

Conference Papers | 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,

Conference Papers | 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, FRANCE, LYON, pp. 207 - 216, presented at Starting Artificial Intelligence Researchers Symposium, FRANCE, LYON, 22 July 2002 - 23 July 2002,

Conference Papers | 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,

Conference Papers | 2002

Frisch A; Sheridan D; Walsh T, 2002, 'A fixpoint based encoding for bounded model checking', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 238 - 255,

Conference Papers | 2002

Walsh T, 2002, 'Stochastic constraint programming', in VanHarmelen F (ed.), ECAI 2002: 15TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, I O S PRESS, FRANCE, CLAUDE BERNARD UNIV, LYON, pp. 111 - 115, presented at 15th European Conference on Artificial Intelligence, FRANCE, CLAUDE BERNARD UNIV, LYON, 21 July 2002 - 26 July 2002,

Conference Papers | 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

Conference Papers | 2001

Choueiry BY; Walsh T, 2001, 'Symposium on abstraction, reformulation, and approximation (SARA-2000)', in AI Magazine, pp. 137

Conference Papers | 2001

Slaney J; Walsh T, 2001, 'Backbones in optimization and approximation', in IJCAI International Joint Conference on Artificial Intelligence, pp. 254 - 259

Conference Papers | 2001

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,

Conference Papers | 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)

Conference Papers | 2001

Walsh T, 2001, 'Search on high degree graphs', in IJCAI International Joint Conference on Artificial Intelligence, pp. 266 - 271

Conference Papers | 2001

Walsh T, 2001, 'Stochastic Constraint Programming', in AAAI Fall Symposium - Technical Report, pp. 129 - 135

Conference Papers | 2000

Colton S; Bundy A; Walsh T, 2000, 'Automatic Invention of Integer Sequences', in Proceedings of the 17th National Conference on Artificial Intelligence and 12th Conference on Innovative Applications of Artificial Intelligence, AAAI 2000, pp. 558 - 563

Conference Papers | 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,

Conference Papers | 2000

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,

Conference Papers | 2000

Smith B; Stergiou K; Walsh T, 2000, 'Using auxiliary variables and implied constraints to model non-binary problems', in Proceedings of the 17th National Conference on Artificial Intelligence and 12th Conference on Innovative Applications of Artificial Intelligence, AAAI 2000, pp. 182 - 187

Conference Papers | 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,

Conference Papers | 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,

Conference Papers | 1999

Colton S; Bundy A; Walsh T, 1999, 'Automatic concept formation in pure mathematics', in IJCAI International Joint Conference on Artificial Intelligence, pp. 786 - 791

Conference Papers | 1999

Gent IP; Hoos HH; Prosser P; Walsh T, 1999, 'Morphing: combining structure and randomness', in Proceedings of the National Conference on Artificial Intelligence, pp. 654 - 660

Conference Papers | 1999

Gent IP; Walsh T, 1999, 'Beyond NP: the QSAT phase transition', in Proceedings of the National Conference on Artificial Intelligence, pp. 648 - 653

Conference Papers | 1999

Gent IP; Walsh T, 1999, 'CSPLIB: A benchmark library for constraints', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 480 - 481,

Conference Papers | 1999

Stergiou K; Walsh T, 1999, 'Encodings of non-binary constraint satisfaction problems', in Proceedings of the National Conference on Artificial Intelligence, pp. 163 - 168

Conference Papers | 1999

Stergiou K; Walsh T, 1999, 'The difference all-difference makes', in IJCAI International Joint Conference on Artificial Intelligence, pp. 414 - 419

Conference Papers | 1999

Walsh T, 1999, 'Search in a small world', in IJCAI International Joint Conference on Artificial Intelligence, pp. 1172 - 1177

Conference Papers | 1998

Macintyre E; Prosser P; Smith B; Walsh T, 1998, 'Random constraint satisfaction: Theory meets practice', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 325 - 339,

Conference Papers | 1998

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, ENGLAND, BRIGHTON, pp. 239 - 243, presented at 13TH European Conference on Artificial Intelligence (ECAI 98), ENGLAND, BRIGHTON, 23 August 1998 - 28 August 1998,

Conference Papers | 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,

Conference Papers | 1997

Gent IP; MacIntyre E; Prosser P; Shaw P; Walsh T, 1997, 'The constrainedness of arc consistency', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 327 - 340,

Conference Papers | 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

Conference Papers | 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,

Conference Papers | 1997

Walsh T, 1997, 'Depth-bounded discrepancy search', in IJCAI International Joint Conference on Artificial Intelligence, pp. 1388 - 1393

Conference Papers | 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

Conference Papers | 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,

Conference Papers | 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,

Conference Papers | 1996

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,

Conference Papers | 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,

Conference Papers | 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,

Conference Papers | 1995

GENT IP; WALSH T, 1995, 'Unsatisfied variables in local search', in Hallam J (ed.), HYBRID PROBLEMS, HYBRID SOLUTIONS, I O S PRESS, ENGLAND, SHEFFIELD, pp. 73 - 85, presented at 10th Biennial Conference on Artificial Intelligence and the Simulation of Behaviour (AISB95), ENGLAND, SHEFFIELD,

Conference Papers | 1995

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,

Conference Papers | 1994

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,

Conference Papers | 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,

Conference Papers | 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,

Conference Papers | 1993

BASIN DA; WALSH T, 1993, 'DIFFERENCE UNIFICATION', in Bajcsy R (ed.), IJCAI-93, VOLS 1 AND 2, MORGAN KAUFMANN PUB INC, FRANCE, CHAMBERY, pp. 116 - 122, presented at 13th International Joint Conference on Artificial Intelligence (IJCAI-93), FRANCE, CHAMBERY, 28 August 1993 - 03 September 1993,

Conference Papers | 1993

Gent IP; Walsh T, 1993, 'Towards an understanding of hill-climbing procedures for SAT', in Proceedings of the National Conference on Artificial Intelligence, pp. 28 - 33

Conference Papers | 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,

Conference Papers | 1992

Basin D; Walsh T, 1992, 'Difference matching', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 295 - 309,

Conference Papers | 1992

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, NY, SARATOGA SPRINGS, pp. 325 - 339, presented at 11TH INTERNATIONAL CONF ON AUTOMATED DEDUCTION, NY, SARATOGA SPRINGS, 15 June 1992 - 18 June 1992,

Conference Papers | 1990

Giunchiglia F; Walsh T, 1990, 'Use of abstraction in automatic inference', in IEE Conference Publication, pp. 365 - 370

Conference Papers |

Mayer-Eichberger V; Walsh T, 'SAT Encodings for the Car Sequencing Problem', in EPiC Series in Computing, EasyChair, presented at POS-13. Pragmatics of SAT 2013,

��������Ƶ

Follow

Scientia Professor Toby Walsh

��Ƶ