By Scientia Professor Toby Walsh

Conference Papers

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

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

Quimper C; Walsh T, 2005, 'Beyond finite domains : the all different and global cardinality constraints', in 11th International conference on principles and practice of constraint programming, Sitges, Spain, presented at 11th International conference on principles and practice of constraint programming, Sitges, Spain, 01 October 2005 - 05 October 2005

Stuckey P; de la Banda M; Maher M; marriott K; Slaney J; Somogyi Z; Wallace MA; Walsh T, 2005, 'The G12 project: Mapping solver independent models to efficient solutions', in 11th International conference on principles and practice of constraint programming, Sitges, Spain, presented at 11th International conference on principles and practice of constraint programming, Sitges, Spain, 01 October 2005 - 05 October 2005

Kilby P; Slaney J; Thiebaux S; Walsh T, 2005, 'Backbones and backdoors in satisfiability', in 20th National conference on artificial intelligence (AAAI 2005), Pittsburgh, Pennsylvania, presented at 20th National conference on artificial intelligence (AAAI 2005), Pittsburgh, Pennsylvania, 30 July 2005 - 05 August 2005

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

Hebrard E; Hnich B; O Sullivan BG; Walsh T, 2005, 'Finding diverse and similar solutions in constraint programming', in 20th National conference on artificial intelligence (AAAI 2005), Pittsburgh, Pennsylvania, presented at 20th National conference on artificial intelligence (AAAI 2005), Pittsburgh, Pennsylvania, 30 July 2005 - 05 August 2005

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

Slaney J; Kilby P; Walsh T, 2005, 'The backbone of the travelling salesperson', in Proceedings of the 19th international joint conference on Artificial intelligence, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, presented at 19th International joint conference on artificial intelligence, Edinburgh, Scotland, 30 July 2005 - 05 August 2005

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

Walsh T; Frisch A; Hnich B; Miguel I; Smith B, 2005, 'Transforming and refining abstract constraint specifications', in 6th international symposium on Abstraction, reformulation, and approximation, Arith Castle, Scotland, presented at 6th international symposium on Abstraction, reformulation, and approximation, Arith Castle, Scotland, 26 July 2005 - 29 July 2005

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

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

Back to profile page