91成人版抖音
Back to
Scientia Professor Toby Walsh

Scientia Professor Toby Walsh

Professor
Engineering
Computer Science and Engineering

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 鈥淟earning 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鈥檚 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 | 2010
    Walsh T, 2010, Parameterized Complexity Results in Symmetry Breaking,
    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
    Russell T; Walsh T, 2009, Manipulating Tournaments in Cup and Round Robin Competitions,
    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 鈥揅P2001: 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,