Scientia Professor Toby   Walsh
Professor

Scientia Professor Toby Walsh

Engineering
Sch: Computer Science & Eng

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

Publications

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

Awards

Grants

Media