By Scientia Professor Toby Walsh

Conference Papers

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

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

Narodytska N; Walsh T; Xia L, 2011, 'Manipulation of Nanson's and Baldwin's Rules', in 25th AAAI conference on artificial intelligence, AAAI-11, AAAI, San Francisco USA, presented at 25th AAAI conference on Artificial Intelligence, AAAI-11, San Francisco USA, 07 August 2011 - 11 August 2011, http://www.aaai.org/ocs/index.php/AAAI/AAAI11/paper/view/3612

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

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

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

Drescher C; Walsh T, 2011, 'Translation-based Constraint Answer Set Solving', in PROCEEDINGS OF THE TWENTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI11), AAAI Press, Barcelona, presented at 22nd International Joint Conference on Artificial Intelligence, Barcelona, 16 July 2011 - 22 July 2011

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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://www.booksonline.iospress.nl/Content/View.aspx?piid=17753

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

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

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

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

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

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

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

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

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

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

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

Pilotto E; Rossi F; Venable B; Walsh T, 2009, 'Compact Preference Representation in Stable Marraige Problems', in Lecture Notes in Artificial Intelligence 5783, Springer, Belrin / Heidelberg, presented at ADT 2009, Venice, Italy, 20 October 2009 - 23 October 2009

Russell T; Walsh T, 2009, 'Manipulating Tournaments in Cup and Round Robin Competitions', in Lecture Notes in Artificial Intelligence 5783, Springer, Belrin / Heidelberg, presented at ADT 2009, Venice, Italy, 20 October 2009 - 23 October 2009, http://dx.doi.org/10.1007/978-3-642-04428-1_3

Katsirelos G; Maneth S; Narodytska N; Walsh T, 2009, 'Restricted Global Grammar Constraints', in Principles and Practice of Constraints Programming - CP 2009, Springer, Berlin, presented at 15th International Conference CP 2009, Lisbon, Portugal, 20 September 2009 - 24 September 2009

Bessiere C; Katsirelos G; Narodytska N; Walsh T, 2009, 'Circuit Complexity and Decomposition of Global Constraints', in Proceedings of the International Joint Conference on Arti cial Intelligence, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, presented at 21st International Joint Conference on Artificial inteliigence, Pasadena USA, 11 July 2009 - 17 July 2009, http://ijcai.org/papers09/Papers/IJCAI09-076.pdf

Bessiere C; Katsirelos G; Narodytska N; Quimper C; Walsh T, 2009, 'Decompositions of All Different Global Cardinality and Related Constraints', in Proceedings of the International Joint Conference on Arti cial Intelligence, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, presented at 21st International Joint Conference on Artificial inteliigence, Pasadena USA, 11 July 2009 - 17 July 2009, http://portal.acm.org/citation.cfm?id=1661512&dl=GUIDE&coll=GUIDE

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

Back to profile page