By Scientia Professor Toby Walsh

Conference Papers

Walsh T, 2009, 'Where are the really hard manipulation problems? The phase transition in manipulating the veto rule', in Proceedings of the International Joint Conference on Arti cial Intelligence, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, presented at 21st International Joint Conference on Artificial inteliigence, Pasadena USA, 11 July 2009 - 17 July 2009, http://ijcai.org/papers09/Papers/IJCAI09-062.pdf

Haim S; Walsh T, 2009, 'Restart Strategy Selection using Machine Learning Techniques', in Lecture Notes in Computer Science (Vol 5584), Springer, Germany, presented at Theory and Applications of Satisfiability testing - SAT 2009, Swansea, Wales, UK, 30 June 2009 - 03 July 2009, http://dx.doi.org/10.1007/978-3-642-02777-2_30

Katsirelos G; Narodytska N; Walsh T, 2009, 'Reformulating Global Grammar Constraints', in Integration of AI and OR techniques in constraint programming for combinatorial optimization, Springer, Pittsburgh, PA, USA, presented at 6th International Conference CPAIOR 2009, Pittsburgh, PA, USA, 27 May 2009 - 31 May 2009

Pini MS; Rossi F; Venable B; Walsh T, 2009, 'Manipulation and gender neutrality in stable marraige peocedures', in AAMAS2009 proceedings, IFAAMAS, Budapest, Hungary, presented at AAMAS 2009 Budapest, Budapest, Hungary, 10 May 2009 - 15 May 2009, http://dx.doi.org/10.1145/1558013.1558105

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

Gelain M; Pini MS; Rossi F; Venable K; Walsh T, 2008, 'Elicitation strategies for fuzzy constraint problems with missing preferences: An experimental study', in AAAI Workshop - Technical Report, pp. 43 - 48

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

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

Walsh T; Pini M; Rossi F; Venable B, 2008, 'Dealing with incomplete agents` preferences and an uncertain agenda in group decision making via sequential majority voting', in 11th International conference on principles of knowledge representation and reasoning, Proceedings, Sydney, presented at 11th International conference on principles of knowledge representation and reasoning, Sydney, 16 September 2008 - 18 September 2008

Gelain M; Pini M; Rossi F; Venable B; Walsh T, 2008, 'Elicitation strategies for fuzzy constraint problems with missing preferences: algorithms and experimental studies', in 14th International conference on Principles and practice of constraint programming, Sydney, presented at 14th International conference on Principles and practice of constraint programming, Sydney, 14 September 2008 - 18 September 2008

Maher M; Narodytska N; Quimper C; Walsh T, 2008, 'Flow-based propagators for the sequence and related global constraints', in 14th International conference on Principles and practice of constraint programming, Sydney, presented at 14th International conference on Principles and practice of constraint programming, Sydney, 14 September 2008 - 18 September 2008

Bessiere C; Hebrard E; Hnich B; Kiziltan Z; Walsh T, 2008, 'SLIDE: a useful special case of the CARDPATH constraint', in 18th European conference on Artificial Intelligence, Proceedings, Patras, Greece, presented at 18th European conference on Artificial Intelligence, Patras, Greece, 21 July 2008 - 25 July 2008

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

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

Bessiere C; Hebrard E; Hnich B; Kiziltan Z; Quimper C; Walsh T, 2008, 'The parameterized complexity of global constraints', in 23rd AAAI conference, Proceedings, Chicago Illinois USA, presented at 23rd AAAI conference on artificial intelligence, AAAI-08, Chicago Illinois USA, 13 July 2008 - 17 July 2008

Katsirelos G; Narodytska N; Walsh T, 2008, 'Combining Symmetry Breaking and Global Constraints', in Recent Advances in Constraints, Springer, Berlin/heidelberg, presented at 13th Annual ERCIM International Workshop on Constraint Logic Programming, CSCLP 2008, Rome, Italy, 18 June 2008 - 20 June 2008, http://dx.doi.org/10.1007/978-3-642-03251-6_6

Katsirelos G; Narodytska N; Walsh T, 2008, 'The weighted CFG constraint', in Integration of AI and OR techniques in constraint programming for combinatorial optimization, Springer, Paris, France, presented at 5th international conference, CPAIOR 2008, Paris, France, 20 May 2008 - 23 May 2008, http://dx.doi.org/10.1007/978-3-540-68155-7_31

Walsh T, 2008, 'Complexity of terminating preference elicitation', in AAMAS 11th International conference on autonomonous agents and multiagent systems, Proceedings, International Foundation for Autonomous Agents and Multiagent Systems, Valencia, Spain, presented at 7th International conference on autonomonous agents and multiagent systems, Estoril, Portugal, 12 May 2008 - 16 May 2008

Haim S; Walsh T, 2008, 'Online estimation of SAT solving runtime', in Theory and applications of satisfiability testing---SAT 2008, Guangzhou, China, presented at Theory and applications of satisfiability testing---SAT 2008, Guangzhou, China, 12 May 2008 - 15 May 2008, http://dx.doi.org/10.1007/978-3-540-79719-7_12

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

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

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

Katsirelos G; Walsh T, 2007, 'A compression algorithm for large arity constraints', in 13th International conference on Principles and practice of constraint programming, Providence, Rhode Island, USA, presented at 13th International conference on Principles and practice of constraint programming, Providence, Rhode Island, USA, 23 September 2007 - 27 September 2007

law Y; Lee JQ; Walsh T; Yip J, 2007, 'Breaking symmetry of interchangeable variables and values', in 13th International conference on Principles and practice of constraint programming, Providence, Rhode Island, USA, presented at 13th International conference on Principles and practice of constraint programming, Providence, Rhode Island, USA, 23 September 2007 - 27 September 2007

Walsh T, 2007, 'Breaking value symmetry', in 13th International conference on Principles and practice of constraint programming, Providence, Rhode Island, USA, presented at 13th International conference on Principles and practice of constraint programming, Providence, Rhode Island, USA, 23 September 2007 - 27 September 2007

Quimper C; Walsh T, 2007, 'Decomposing global grammar constraints', in 13th International conference on Principles and practice of constraint programming, Providence, Rhode Island, USA, presented at 13th International conference on Principles and practice of constraint programming, Providence, Rhode Island, USA, 23 September 2007 - 27 September 2007

Brand S; Narodytska N; Quimper C; Stuckey P; Walsh T, 2007, 'Encodings of the sequence constraint', in 13th International conference on Principles and practice of constraint programming, Providence, Rhode Island, USA, presented at 13th International conference on Principles and practice of constraint programming, Providence, Rhode Island, USA, 23 September 2007 - 27 September 2007

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

Bessiere C; Hebrard E; Hnich B; Kiziltan Z; Quimper C; Walsh T, 2007, 'Reformulating global constraints: the slide and regular constraints', in 7th International symposium on Abstraction, reformulation and approximation, Whistler, Canada, presented at 7th International symposium on Abstraction, reformulation and approximation, Whistler, Canada, 18 July 2007 - 21 July 2007

Narodytska N; Walsh T, 2007, 'Constraint and variable ordering heuristics for compiling configuration problems', in 20th International joint conference on artificial intelligence, Hyderabad, India, presented at 20th International joint conference on artificial intelligence, Hyderabad, India, 06 January 2007 - 12 January 2007

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

Pini M; Rossi F; Venable K; Walsh T, 2007, 'Incompleteness and incomparability in preference aggregation', in 20th International joint conference on artificial intelligence, Hyderabad, India, presented at 20th International joint conference on artificial intelligence, Hyderabad, India, 06 January 2007 - 12 January 2007

Lang J; Pini M; Rossi F; Venable K; Walsh T, 2007, 'Winner determination in sequential majority voting', in 20th International joint conference on artificial intelligence, Hyderabad, India, presented at 20th International joint conference on artificial intelligence, Hyderabad, India, 06 January 2007 - 12 January 2007

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

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

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

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

Walsh T, 2006, 'General symmetry breaking constraints', in Proceedings of the First International Conference on Advances in Natural Computation (ICNC 2005), Part III, Lecture Notes in Computer Science 3612/2005, Springer, Berlin, Germany, presented at 12th international conference on principles and practice of constraint programming (CP 2006), Nantes, France, 24 September 2006 - 29 September 2006

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

Bessiere C; Hebrard E; Hnich B; Kiziltan Z; Walsh T, 2006, 'The ROOTS constraint', in 12th international conference on principles and practice of constraint programming (CP 2006), Nantes, France, presented at 12th international conference on principles and practice of constraint programming (CP 2006), Nantes, France, 24 September 2006 - 29 September 2006

Pini M; Rossi F; Venable B; Walsh T, 2006, 'Computing possible and necessary winners from incomplete partially-ordered preferences', in European Conference on Artificial Intelligence (ECAI 2006), Riva Del Garda, Italy, presented at European Conference on Artificial Intelligence (ECAI 2006), Riva Del Garda, Italy, 29 August 2006 - 01 September 2006

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

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

Kilby P; Slaney J; Thiebaux S; Walsh T, 2006, 'Estimating search tree size', in 21st National Conference on Artificial Intelligence (AAAI-06), AAAI Press, Boston, Massachusetts, presented at 21st National Conference on Artificial Intelligence (AAAI-06), Boston, Massachusetts, 16 July 2006 - 20 July 2006

Bessiere C; Hebrard E; Hnich B; Kiziltan Z; Walsh T, 2006, 'The Range Constraint: Algorithms and Implementation', in 3rd International Conference, CPAIOR 2006, Cork, Ireland, presented at 3rd International Conference, CPAIOR 2006, Cork, Ireland, 31 May 2006 - 02 June 2006

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

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

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

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

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

Back to profile page