Toby Walsh

Guest Professor, TU Berlin
Professor of AI, UNSW Australia
Group Leader, Data61

Fellow of Australian Academy of Science
Fellow of Association for Advancement of AI
Fellow of European Association for AI

Biography

Toby Walsh is a leading researcher in Artificial Intelligence. He was recently named in the inaugural Knowledge Nation 100, the one hundred "rock stars" of Australia's digital revolution. He is Guest Professor at TU Berlin, Professor of Artificial Intelligence at UNSW and leads the Algorithmic Decision Theory group at Data61, Australia's Centre of Excellence for ICT Research. He has been elected a fellow of the Australian Academy of Science, and has won the prestigious Humboldt research award. He has previously held research positions in England, Scotland, France, Germany, Italy, Ireland and Sweden.

He regularly appears in the media talking about the impact of AI and robotics. In the last year, he has appeared in TV and the radio on the ABC, BBC, Channel 7, Channel 9, Channel 10, CCTV, DW, NPR, RT, SBS, and VOA, as well as on numerous local radio stations. He also writes frequently for print and online media. His work has appeared in the New Scientist, American Scientist, Le Scienze, Cosmos and The Best Writing in Mathematics (Princeton University Press). His twitter account has been voted one of the top ten to follow to keep abreast of developments in AI. He often gives talks at public and trade events like TEDx, The Next Big Thing Summit, and PauseFest. He has played a key role at the UN and elsewhere on the campaign to ban lethal autonomous weapons (aka "killer robots").

Artificial Intelligence

My research focuses on AI, building computer programs to do tasks that we consider intelligent. I am particularly interested in the interface between optimisation (making better decisions), social choice (taking account of agents' preferences), and game theory (taking account of self-interested agents). What does that mean in practice? For example, how do we get a computer to allocate deceased organs to patients more efficiently and fairly?

Outreach

As AI is starting to make real progress, there is a large appetite from the public to understand where it might be taking us. I therefore spend an increasing amount of my time thinking about the future of AI and speaking to the media on this topic. You can read more on my blog and soon in a book I'm writing to be published by Black Inc.

Teaching

Postgraduate supervision

Hao Chen, PhD, 2015-.
Martin Aleksandrov, PhD, 2014-.
Leonid Antsfield, PhD, 2010-2014.
Paul Chircop, PhD, 2010-2016.
Christian Drescher, PhD, 2010-2014.
Adrian Schoenig, PhD, 2009-2010, left early to become CTO at a startup.
Tung Mai Le, PhD, 2008-2013.
Shai Haim, PhD, 2006-2011.
Nina Narodytska, PhD, 2006-2011.
Emmanuel Hebrard, PhD, 2002-2006.
Lyndon Drake, PhD, 2000-2005.
Dan Sheridan, PhD, 2000-2006.
Zeynep Kiziltan, PhD, 1999-2003.
Brahim Hnich, PhD, 1999-2003.
Kostas Stergiou, PhD, 1997-2001.
Simon Colton, PhD, 1996-2000.
Renato Busatto-Neto, PhD, 1992-1995.
Graham Steel, MSc, 1999.
Nicholas Free, MSc, 1992.
Alex Nunes, MSc, 1991.

Postgraduate examination

John Doucette, PhD (Waterloo), 2016.
Shau White, PhD (U Auckland), 2016.
Omer Lev, PhD (HU Jerusalem), 2015.
Robert Bredereck, PhD (TUB), 2014.
Ayman Ghoneim, PhD (ANU), 2013.
Jingying Li, MPhil (CUHK), 2012.
Reyhaneh Reyhani, PhD (U Auckland), 2012.
Dr Gilles Dequen, habilitation (U Picardie), 2011.
Antti Hyarinen, PhD (Aalto U), 2011. 2011.
Matthew Kitching, PhD (U Toronto), 2010.
Dr Brahim Hnich, habilitation (U Montpellier), 2008.
Tarik Hadzic, PhD (IT-U of Copenhagen), 2007.
Fabrice Nahon, PhD (LORIA, Nancy), 2007.
Lionel Paris, PhD (U of Marseille), 2007.
Yong Gao, PhD (U of Alberta), 2005.
Ines Lynce, PhD (IST), 2005.
Bernard Jurkowiak, PhD (U Picardie), 2004.
Neil Yorke-Smith, PhD (IC-Parc), 2004.
Santiago Macho-Gonzalez, PhD (EPFL), 2004.
Lucas Bordeaux, PhD (U Nantes), 2003.
Dr Eric Monfroy, habilitation (U Nantes), 2002.
Andrew Slater, PhD (ANU), 2002.
John Thornton, PhD (Griffith U), 2000.
Christian Frie, PhD (EPFL), 2000.
Xinguang Chen, PhD (U Alberta), 2000.

Conferences | Journals | Books

Interdependent Scheduling Games (pdf). Andres Abeliuk, Haris Aziz, Gerardo Berbeglia, Serge Gaspers, Petr Kalina, Nicholas Mattei, Dominik Peters, Paul Stursberg, Pascal Van Hentenryck and Toby Walsh. Proceedings of IJCAI-2016, 2016.

Control of Fair Division (pdf). Haris Aziz, Ildi Schlotter and Toby Walsh. Proceedings of IJCAI-2016, 2016.

Ranking Constraints (pdf). Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan and Toby Walsh. Proceedings of IJCAI-2016, 2016.

Strategyproof Peer Selection: Mechanisms, Analyses, and Experiments (pdf). Haris Aziz, Omer Lev, Nicholas Mattei, Jeffrey S. Rosenschein, and Toby Walsh. Proceedings of AAAI-2016, 2016.

Strategic Behaviour When Allocating Indivisible Goods (pdf). Toby Walsh. Proceedings of AAAI-2016, 2016.

Online Fair Division: analysing a Food Bank problem (pdf). Martin Aleksandrov, Haris Aziz, Serge Gaspers, and Toby Walsh. Proceedings of IJCAI-2015, 2015.

Equilibria under the Probabilistic Serial Rule (pdf). Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska and Toby Walsh. Proceedings of IJCAI-2015, 2015.

Possible and Necessary Allocations via Sequential Mechanisms (pdf). Haris Aziz, Toby Walsh and Lirong Xia. Proceedings of IJCAI-2015, 2015.

Reasoning about Connectivity Constraints (pdf). Christian Bessiere, Emmanuel Hebrard, George Katsirelos, and Toby Walsh. Proceedings of IJCAI-2015, 2015.

H-Index Manipulation by Merging Articles: Models, Theory and Experiments (pdf). Rene van Bevern, Christian Komusiewicz, Rolf Niedermeier, Manuel Sorge and Toby Walsh. Proceedings of IJCAI-2015, 2015.

Parliamentary Voting Procedures: Agenga Control, Manipulation and Uncertainty (pdf). Robert Bredereck, Jiehua Chen, Rolf Niedermeier and Toby Walsh. Proceedings of IJCAI-2015, 2015.

Computational Aspects of Multi-Winner Approval Voting (pdf). Haris Aziz, Serge Gaspers, Jochim Gudmundsson, Simon Mackenzie, Nicholas Mattei, and Toby Walsh. Proceedings of AAMAS-2015, 2015.

Manipulating the Probabilistic Serial Rule (pdf). Haris Aziz, Serge Gaspers, Nicholas Mattei, Simon Mackenzie, Nina Narodtyska and Toby Walsh. Proceedings of AAMAS-2015, 2015.

Possible and Necessary Allocations via Sequential Mechanisms (pdf). Haris Aziz, Toby Walsh and Lirong Xia. Proceedings of MATCHUP-2015, 2015.

Justified Representation in Approval-Based Committee Voting (pdf). Haris Aziz, Markus Brill, Vincent Conitzer, Edith Elkind, Rupert Freeman and Toby Walsh. Proceedings of AAAI-2015, 2015.

Challenges in Resource and Cost Allocation (pdf). Toby Walsh. Proceedings of AAAI-2015, 2015.

Reasoning about Constraint Models (pdf). Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Nina Narodytska and Toby Walsh. Proceedings of PRICAI-2014, 2014.

Allocation in Practice (pdf). Toby Walsh. Proceedings of KI-2014, 2014.

The Balance Constraint Family (pdf). Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Emilie Picard-Cantin, Claude-Guy Quimper and Toby Walsh. Proceedings of CP-2014, 2014.

The Computational Impact of Partial Votes on Strategic Voting (pdf). Nina Nardoytska and Toby Walsh. Proceedings of ECAI-2014, 2014.

The PeerRank Method for Peer Assessment (pdf). Toby Walsh Proceedings of ECAI-2014, 2014.

Fixing a Balanced Knockout Tournament (pdf). Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Paul Stursberg and Toby Walsh Proceedings of AAAI-2014, 2014.

Buffered Resource Constraints: Algorithms and Complexity (pdf). Christian Bessiere, Emmanuel Hebrard, Marc-Andre Menard, Claude-Guy Quimper and Toby Walsh. Proceedings of CPAIOR-2014, 2014.

SAT and Hybrid Models of the Car Sequencing Problem (pdf). Christian Artigues, Emmanuel Hebrard, Valentin Mayer-Eichberger, Mohamed Siala and Toby Walsh. Proceedings of CPAIOR-2014, 2014.

Fair Assignment of Indivisible Objects under Ordinal Preferences (pdf). Haris Aziz, Serge Gaspers, Simon Mackenzie and Toby Walsh. Proceedings of AAMAS-2014, 2014.

Possible and Necessary Winner Problem in Social Polls (pdf). Serge Gaspers, Victor Naroditiskiy, Nina Narodytska and Toby Walsh. Proceedings of AAMAS-2014, 2014.

Breaking Symmetry with Different Orderings (pdf). Nina Narodytska and Toby Walsh. Proceedings of CP-2013, 2013.

PrefLib: A Library for Preferences (pdf). Nick Mattei and Toby Walsh. Proceedings of ADT-2013, 86-97, 2013.

Detecting and Exploiting Subproblem Tractability (pdf). Christian Bessiere, Clement Carbonnel, Emmanuel Hebrard, George Katsirelos and Toby Walsh. Proceedings of IJCAI-2013, 2013.

Constraint Acquisition via Partial Queries (pdf). Christian Bessiere, Remi Coletta, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper and Toby Walsh. Proceedings of IJCAI-2013, 2013.

On the complexity of global scheduling constraints under structural restriction (pdf). Geoffrey Chu, Serge Gaspers, Nina Narodytska, Andreas Schutt and Toby Walsh. Proceedings of IJCAI-2013, 2013.

A Social Welfare Optimal Sequential Allocation Procedure (pdf). Thomas Kalinowski, Nina Narodytska and Toby Walsh. Proceedings of IJCAI-2013, 2013.

Three Generalizations of the FOCUS Constraint (pdf). Nina Narodytska, Thierry Petit, Mohamed Siala and Toby Walsh. Proceedings of IJCAI-2013, 2013.

Ties Matter: Complexity of Manipulation when Tie-breaking with a Random Vote (pdf). Haris Aziz, Serge Gaspers, Nicholas Mattei, Nina Narodytska, and Toby Walsh. Proceedings of AAAI-2013, 2013.

Strategic Behavior when Allocating Indivisible Goods Sequentially (pdf). Thomas Kalinowski, Nina Narodytska, Toby Walsh and Lirong Xia. Proceedings of AAAI-2013, 2013.

An Adaptive Model Restarts Heuristic (pdf). Nina Narodytska and Toby Walsh. Proceedings of CPAIOR-2013, 2013.

Coalitional Manipulation for Schulze's Rule (pdf). Serge Gaspers, Thomas Kalinowski, Nina Narodytska and Toby Walsh. Proceedings of AAMAS-2013, 2013.

Possible and Necessary Winner Problem in Social Polls (Extended Abstract). (pdf). Serge Gaspers, Victor Naroditskiy, Nina Narodytska and Toby Walsh. Proceedings of AAMAS-2013, 2013.

Manipulating Two Stage Voting Rules (pdf). Nina Narodytska and Toby Walsh. Proceedings of AAMAS-2013, 2013.

Restricted Manipulation in Iterative Voting: Convergence and Condorcet Efficiency (pdf). Umberto Grandi, Andrea Loreggia, Francesca Rossi, Brent Venable and Toby Walsh. Proceedings of SR'13, 2013.

The SEQBIN Constraint Revisited (pdf). George Katsirelos, Nina Narodytska and Toby Walsh. Proceedings of CP-2012, 2012.

A hybrid MIP/CP approach for multi-activity shift scheduling (pdf). Demenico Salvagnin and Toby Walsh. Proceedings of CP-2012, 2012.

TRANSIT Routing on Video Game Maps (pdf). Leonid Antsfield, Daniel Harabour, Phil Kilby and Toby Walsh. Proceedings of AIIDE-2012, 2012.

Finding Multi-criteria Optimal Paths in Multi-modal Public Transportation Networks using the Transit Algorithm (pdf). Leonid Antsfield and Toby Walsh. Proceedings of ITS World Congress 2012, 2012.

Strategic Behavior in a Decentralized Protocol for Allocating Indivisible Goods (pdf). Thomas Kalinowski, Nina Narodytska, Toby Walsh and Lirong Xia. Proceedings of COMSOC-2012, 2012.

Manipulating Two Stage Voting Rules (pdf). Nina Narodytska and Toby Walsh. Proceedings of COMSOC-2012, 2012.

Answer Set Solving with Lazy Nogood Generation (pdf). Christian Drescher and Toby Walsh. Proceedings of ICLP-2012, 2012.

Exploiting Constraints (pdf). Toby Walsh. Inductive Logic Programming, revised papers from 21st International Conference (ILP-2011), 2012.

Eliminating the Weakest Link: Making Manipulation Intractable? (pdf). Jessica Davies, Nina Narodytska and Toby Walsh. Proceedings of AAAI-2012, 2012.

Symmetry Breaking Constraints: Recent Results (pdf). Toby Walsh. Proceedings of AAAI-2012, 2012.

Combining Voting Rules Together (pdf). Nina Narodytska, Toby Walsh and Lirong Xia. Proceedings of ECAI-2012, 2012.

Lot-based Voting Rules (pdf). Toby Walsh and Lirong Xia. Proceedings of AAMAS-2012, 2012.

Online Cake Cutting (pdf). Toby Walsh. Proceedings of ADT-2011, 2011.

Adaptive signal-vehicle cooperative controlling system (pdf). Tung Le, Chen Chai and Toby Walsh. Proceedings of 14th International IEEE Conference on Intelligence Transportation systems, 2011.

The Next Best Solution (pdf). Ronen Brafman, Enrico Pilotto, Francesca Rossi, Domenico Salvagnin, Brent Venable and Toby Walsh. Proceedings of AAAI-2011, 2011.

Dominating Manipulations in Voting wih Partial Information (pdf). Vincent Conitzer, Toby Walsh and Lirong Xia. Proceedings of AAAI-2011, 2011.

Complexity of and Algorithms for Borda Manipulation (pdf). Jessica Davies, George Katsirelos, Nina Narodytska and Toby Walsh. Proceedings of AAAI-2011, 2011.

Manipulation of Nanson's and Baldwin's Rules (pdf). Nina Narodytska, Toby Walsh and Lirong Xia. Proceedings of AAAI-2011, 2011.

A Comparison of Lex Bounds for Multiset Variables in Constraint Programming (pdf). Yat Law, Jimmy Lee, May Woo and Toby Walsh. Proceedings of AAAI-2011, 2011.

Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation (pdf). Christian Drescher and Toby Walsh. Proceedings of AAAI-2011, 2011.

Translation-based Constraint Answer Set Solving (pdf). Christian Drescher and Toby Walsh. Proceedings of IJCAI-2011, 2011.

Modelling Grammar Constraints with Answer Set Programming (pdf). Christian Drescher and Toby Walsh. Proceedings of ICLP-2011, 2011.

Symmetry Breaking for Distributed Multi-Context Systems (pdf). Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, and Toby Walsh. Proceedings of LPNMR-2011, 2011.

Weights in stable marriage problems increase manipulation opportunities (pdf). Maria Silvia Pini, Francesca Rossi, Brent Venable and Toby Walsh. Proceedings of TARK-2011, 2011.

The AllDifferent Constraint with Precedences (pdf). Christian Bessiere, Nina Narodytska, Claude-Guy Quimper and Toby Walsh. Proceedings of CPAIOR-2011, 2011.

Procedural fairness in stable marriage problems (pdf). Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Brent Venable and Toby Walsh. Proceedings of AAMAS-2011, 2011.

Possible and necessary winners in voting trees: majority graphs vs. profiles (pdf). Maria Silvia Pini, Francesca Rossi, Brent Venable and Toby Walsh. Proceedings of AAMAS-2011, 2011.

Stability in matching problems with weighted preferences (pdf). Maria Silvia Pini, Francesca Rossi, Brent Venable and Toby Walsh. Proceedings of ICAART-2011, 2011.

A local search approach to solve incomplete fuzzy CSPs (pdf). Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Brent Venable and Toby Walsh. Proceedings of ICAART-2011, 2011.

Parameterized Complexity Results in Symmetry Breaking (pdf). Toby Walsh. Proceedings of IPEC-2010, LNCS Springer 2010.

Male optimal and unique stable marriages with partially ordered preferences (pdf). Mirco Gelain, Maria Silvia Pini, Francesca Rossi, K. Brent Venable and Toby Walsh. Post-conference Proceedings of CARE-2009/2010, LNAI, Springer 2010.

An Empirical Study of Borda Manipulation (pdf). Jessica Davies, George Katsirelos, Nina Narodytska and Toby Walsh. Proceedings of COMSOC-2010, 2010.

Local Search for Stable Marriage Problems (pdf). Mirco Gelain, Maria Silvia Pini, Francesca Rossi, K. Brent Venable and Toby Walsh. Proceedings of COMSOC-2010, 2010.

Stable marriage problems with quantitative preferences (pdf). Maria Silvia Pini, Francesca Rossi, K. Brent Venable and Toby Walsh. Proceedings of COMSOC-2010, 2010.

Online Cake Cutting (pdf). Toby Walsh. Proceedings of COMSOC-2010, 2010.

Where are the hard manipulation problems? (pdf). Toby Walsh. Invited tutorial. Proceedings of COMSOC-2010, 2010.

Improving the Performance of maxRPC (pdf). Thanasis Balafoutis, Anastasia Paparrizou, Kostas Stergiou and Toby Walsh. Proceedings of CP-2010, 2010.

Decomposition of the NVALUE constraint (pdf). Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper and Toby Walsh. Proceedings of CP-2010, 2010.

On The Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry (pdf). George Katsirelos, Nina Narodytska and Toby Walsh. Proceedings of CP-2010, 2010.

Local search for stable marriage problems with ties and incomplete lists (pdf). Mirco Gelain, Maria Silvia Pini, Francesca Rossi, K. Brent Venable and Toby Walsh. Proceedings of PRICAI-2010, 2010.

Symmetry within and between solutions (pdf). Toby Walsh. Proceedings of PRICAI-2010, 2010.

Is Computational Complexity a Barrier to Manipulation? (pdf). Toby Walsh. Proceedings of CLIMA-XI, 2010.

Local search algorithms on the Stable Marriage Problem: Experimental Studies (pdf). Mirco Gelain, Maria Silvia Pini, Francesca Rossi, K. Brent Venable and Toby Walsh. Proceedings of ECAI-2010, 2010.

Symmetries of Symmetry Breaking Constraints (pdf). George Katsirelos and Toby Walsh. Proceedings of ECAI-2010, 2010.

An Empirical Study of the Manipulability of Single Transferable Voting (pdf). Toby Walsh. Proceedings of ECAI-2010, 2010.

Propagating Conjunctions of AllDifferent Constraints (pdf). Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper and Toby Walsh. Proceedings of AAAI-2010, 2010.

Symmetry within Solutions (pdf). Marijn Heule and Toby Walsh. Proceedings of AAAI-2010, 2010.

Finding the next solution in constraint- and preference-based knowledge representation formalisms (pdf). Ronen Brafman, Francesca Rossi, Domenico Salvagnin, Brent Venable and Toby Walsh. Proceedings of KR-2010, 2010.

Male optimality and uniqueness in stable matching problems with partial orders (pdf). Mirco Gelain, Maria Silvia Pini, Francesca Rossi, K. Brent Venable and Toby Walsh. Proceedings of AAMAS-2010, 2010.

Manipulating Tournaments in Cup and Round Robin Competitions (pdf). Tyrel Russell and Toby Walsh. Proceedings of ADT-2009, 2009.

Compact Preference Representation in Stable Marriage Problems (pdf). Enrico Pilotto, Francesca Rossi, Kristen Brent Venable and Toby Walsh. Proceedings of ADT-2009, 2009.

Restricted Global Grammar Constraints (pdf). George Katsirelos, Sebastian Maneth, Nina Narodytska and Toby Walsh. Proceedings of CP-2009, 2009.

Decompositions of All Different, Global Cardinality and Related Constraints (pdf). Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper and Toby Walsh. Proceedings of IJCAI-2009, 2009.

Circuit Complexity and Decompositions of Global Constraints (pdf). Christian Bessiere, George Katsirelos, Nina Narodytska and Toby Walsh. Proceedings of IJCAI-2009, 2009.

Where are the really hard manipulation problems? The phase transition in manipulating the veto rule (pdf). Toby Walsh. Proceedings of IJCAI-2009, 2009.

Restart Strategy Selection using Machine Learning Techniques (pdf). Shai Haim and Toby Walsh. Proceedings of SAT-2009, 2009.

Reformulating Global Grammar Constraints (pdf). George Katsirelos, Nina Narodytska and Toby Walsh. Proceedings of CPAIOR-2009, 132-147, 2009.

Manipulation and gender neutrality in stable marriage procedures (pdf, legal ps, letter ps). Maria Pini, Francesca Rossi, Brent Venable and Toby Walsh. Proceedings of AAMAS-2009, 2009.

Combining Symmetry Breaking and Global Constraints (pdf, legal ps, letter ps). George Katsirelos, Nina Narodytska, and Toby Walsh. "Recent Advances in Constraints", LNCS post-conference proceedings of CSCLP-2008, 2009.

Dealing with incomplete agents' preferences and an uncertain agenda in group decision making via sequential majority voting (pdf, legal ps, letter ps). Maria Pini, Francesca Rossi, Brent Venable and Toby Walsh. Proceedings of KR-2008, 2008.

Elicitation strategies for fuzzy constraint problems with missing preferences: algorithms and experimental studies (pdf, legal ps, letter ps). Mirco Gelain, Maria Pini, Francesca Rossi, Brent Venable and Toby Walsh. Proceedings of CP-2008, 2008.

Flow-Based Propagators for the SEQUENCE and Related Global Constraints (pdf, legal ps, letter ps). Michael Maher, Nina Narodytska, Claude-Guy Quimper and Toby Walsh. Proceedings of CP-2008, 2008.

SLIDE: a useful special case of the CardPath constraint (pdf, legal ps, letter ps). Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan and Toby Walsh. Proceedings of ECAI-2008, 475-479, 2008.

The Parameterized Complexity of Global Constraints (pdf, legal ps, letter ps). Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Claude-Guy Quimper and Toby Walsh. Proceedings of AAAI-2008, 235-240, 2008.

Decompositions of Grammar Constraints (pdf, legal ps, letter ps). Claude-Guy Quimper and Toby Walsh. Proceedings of AAAI-2008, 2008.

Breaking Value Symmetry (pdf, legal ps, letter ps). Toby Walsh. Proceedings of AAAI-2008, 2008.

The Weighted CFG Constraint (pdf, legal ps, letter ps). George Katsirelos, Nina Narodytska, and Toby Walsh. Proceedings of CPAIOR-2008, 2008. 2008.

Complexity of Terminating Preference Elicitation (pdf, legal ps, letter ps). Toby Walsh. Proceedings of AAMAS-2008, 2008.

Online Estimation of SAT Solving Runtime (pdf, legal ps, letter ps). Shai Haim and Toby Walsh. Proceedings of SAT-2008, 2008.

Encodings of the SEQUENCE Constraint (pdf, legal ps, letter ps). Sebastian Brand, Nina Narodytska, Claude-Guy Quimper, Peter Stuckey and Toby Walsh. Proceedings of CP-2007, LNCS 4741, 210-224, 2007.

A Compression Algorithm for Large Arity Extensional Constraints (pdf, legal ps, letter ps). George Katsirelos and Toby Walsh. Proceedings of CP-2007, LNCS 4741, 379-393 2007.

Breaking symmetry of interchangeable variables and values (pdf, legal ps, letter ps). Yat-Chiu Law, Jimmy Lee, Toby Walsh and Justin Yip. Proceedings of CP-2007, LNCS 4741, 423-437, 2007.

Decomposing Global Grammar Constraints (pdf, legal ps, letter ps). Claude-Guy Quimper and Toby Walsh. Proceedings of CP-2007, LNCS 4741, 590-604 2007.

Breaking value symmetry (pdf, legal ps, letter ps, longer SymCon07 paper). Toby Walsh. Proceedings of CP-2007, LNCS 4741, 880-888, 2007.

Uncertainty in preference elicitation and aggregation (pdf, legal ps, letter ps, slides). Toby Walsh. Proceedings of AAAI-2007, 3-8, 2007.

Reformulating global constraints: the SLIDE and REGULAR constraints (pdf, legal ps, letter ps). Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Claude-Guy Quimper and Toby Walsh. Proceedings of SARA-2007, LNAI 4612, 80-92, 2007.

Distance Constraints in Constraint Satisfaction (pdf, legal ps, letter ps). Emmanuel Hebrard, Barry O'Sullivan and Toby Walsh. Proceedings of IJCAI-2007, 106-111, 2007.

Winner Determination in Sequential Majority Voting (pdf, legal ps, letter ps). Jerome Lang, Maria Pini, Francesca Rossi, Kristen Venable and Toby Walsh. Proceedings of IJCAI-2007, 1372-1377, 2007.

Constraint and Variable Ordering Heuristics for Compiling Configuration Problems (pdf, legal ps, letter ps). Nina Narodytska and Toby Walsh. Proceedings of IJCAI-2007, 149-154, 2007.

Incompleteness and Incomparability in Preference Aggregation (pdf, legal ps, letter ps). Maria Pini, Francesca Rossi, Kristen Venable and Toby Walsh. Proceedings of IJCAI-2007, 1464-1469, 2007.

Symmetry Breaking (pdf, legal ps, letter ps). Toby Walsh. Keynote talk. Proceedings of AI'06, 7-8, 2006.

The ROOTS Constraint (pdf, legal ps, letter ps). Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan and Toby Walsh. Proceedings of CP-2006, LNCS 4204, 75-90, 2006.

Global Grammar Constraints (pdf, legal ps, letter ps, longer technical report). Claude-Guy Quimper and Toby Walsh. Proceedings of CP-2006, LNCS 4204, 751-755, 2006. (Best poster award)..

General Symmetry Breaking Constraints (pdf, legal ps, letter ps). Toby Walsh. Proceedings of CP-2006, LNCS 4204, 650-664, 2006.

Computing possible and necessary winners from incomplete partially-ordered preferences (pdf, legal ps, letter ps). Maria Pini, Francesca Rossi, Brent Venable and Toby Walsh. Proceedings of ECAI-2006, 767-768, 2006. (Best Poster award)..

Inverse Consistencies for Non-binary Constraints (pdf, legal ps, letter ps). Kostas Stergiou and Toby Walsh. Proceedings of ECAI-2006, 153-157, 2006.

Symmetry Breaking using Value Precedence (pdf, legal ps, letter ps). Toby Walsh. Proceedings of ECAI-2006, 168-172, 2006.

Estimating Search Tree Size (pdf, legal ps, letter ps). Philip Kilby, John Slaney, Sylvie Thiebaux and Toby Walsh. Proceedings of AAAI-2006, 1014-1019, 2006.

The Range Constraint: Algorithms and Implementation (pdf, legal ps, letter ps). Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan and Toby Walsh. Proceedings of CPAIOR-2006, LNCS 3990, 59-73, 2006.

The All Different and Global Cardinality Constraints on Set, Multiset and Tuple Variables (pdf, legal ps, letter ps). Claude-Guy Quimper and Toby Walsh. Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, 1-13, LNCS 3978, 2006.

Among, Common and Disjoint Constraints (pdf, legal ps, letter ps). Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan and Toby Walsh. Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, 29-43, LNCS 3978, 2006.

Beyond Finite Domains: the All Different and Global Cardinality Constraints (pdf, legal ps, letter ps). Claude-Guy Quimper and Toby Walsh. Proceedings of CP-2005, 812-816, LNCS 3709, 2005.

Propagating Logical Combinations of Constraints (pdf, legal ps, letter ps). Fahiem Bacchus and Toby Walsh. Proceedings of IJCAI-2005, 2005.

The Range and Roots Constraints: Specifying Counting and Occurrence Problems (pdf, legal ps, letter ps). Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan and Toby Walsh. Proceedings of IJCAI-2005, 2005.

The Backbone of the Traveling Salesperson (pdf, legal ps, letter ps). Philip Kilby, John Slaney and Toby Walsh. Proceedings of IJCAI-2005, 2005.

Transforming and Refining Abstract Constraint Specifications (pdf, legal ps, letter ps). A.M. Frisch, B. Hnich, I. Miguel, B.M. Smith and T. Walsh. Proceedings of 6th International Symposium on Abstraction, Reformulation and Approximation (SARA 2005)., pp. 76-91, ed. J.-D. Zucker and L. Saitta, LNCS 3607, 2005.

Finding Diverse and Similar Solutions in Constraint Programming (pdf, legal ps, letter ps). Emmanuel Hebrard, Brahim Hnich, Barry O'Sullivan and Toby Walsh. Proceedings of AAAI-2005, 2005.

Constraint-based Preferential Optimization (pdf, legal ps, letter ps). Steve Prestwich, Francesca Rossi, Brent Venable and Toby Walsh. Proceedings of AAAI-2005, 2005.

Backbones and Backdoors in Satisfiability (pdf, legal ps, letter ps). Philip Kilby, John Slaney, Sylvie Thiebaux and Toby Walsh. Proceedings of AAAI-2005, 2005.

Aggregationg partially ordered preferences: impossibility and possibility results (pdf, legal ps, letter ps). Maria Silvia Pini, Francesca Rossi, Brent Venable and Toby Walsh. Proceedings of TARK-2005, 2005.

Filtering Algorithms for the NVALUE constraint (pdf, legal ps, letter ps). Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan and Toby Walsh. Proceedings of CPAIOR-2005, 2005.

Disjoint, Partition and Intersection Constraints for Set and Multiset Variables (pdf, legal ps, letter ps). Christian Bessiere, Emmanuel Hebrard, Brahim Hnich and Toby Walsh. Proceedings of CP-2004, 138-152, LNCS 3258, 2004.

The Tractability of Global Constraints (pdf, legal ps, letter ps). Christian Bessiere, Emmanuel Hebrard, Brahim Hnich and Toby Walsh. Proceedings of CP-2004, 716-720, LNCS 3258, 2004.

Solving Non-clausal Formulas with DPLL search (pdf, legal ps, letter ps). Christian Thiffault, Fahiem Bacchus and Toby Walsh. Proceedings of CP-2004, 663-678, LNCS 3258, 2004.

Robust Solutions for Constraint Satisfaction and Optimization (pdf, legal ps, letter ps). Emmanuel Hebrard, Brahim Hnich and Toby Walsh. Proceedings of ECAI-2004, 186-190, 2004.

The Complexity of Global Constraints (pdf, legal ps, letter ps). Christian Bessiere, Emmanuel Hebrard, Brahim Hnich and Toby Walsh. Proceedings of AAAI-2004, 112-117, 2004.

mCP nets: representing and reasoning with preferences of multiple agents (pdf, legal ps, letter ps). Francesca Rossi, Brent Venable and Toby Walsh. Proceedings of AAAI-2004, 729-734, 2004.

Solving Non-clausal Formulas with DPLL search (extended abstract, pdf, legal ps, letter ps). Christian Thiffault, Fahiem Bacchus and Toby Walsh. Proceedings of SAT-2004, 2004.

Super Solutions in Constraint Programming (pdf, legal ps, letter ps). Emmanuel Hebrard, Brahim Hnich and Toby Walsh. Proceedings of CP-AI-OR'04, 157-172, 2004.

Combining Symmetry Breaking with Order Constraints: lexicographical ordering with sums (pdf, legal ps, letter ps). Brahim Hnich, Zeynep Kiziltan and Toby Walsh. Proceedings of 8th Int. Symposium on AI and Maths, 93-100, 2004.

Constraint Patterns (pdf, legal ps, letter ps, ppt slides). Toby Walsh. Proceedings of CP-2003, 2003.

Consistency and Propagation with Multiset Constraints: A Formal Viewpoint (pdf, legal ps, letter ps, ppt slides). Toby Walsh. Proceedings of CP-2003, 2003.

Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques (pdf, legal ps, letter ps). Carmel Domshlak, Francesca Rossi, Brent Venable and Toby Walsh. Proceedings of IJCAI-2003, 2003.

Multiset Ordering Constraints (pdf, legal ps, letter ps). Alan Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, and Toby Walsh. Proceedings of IJCAI-2003, 2003.

Scenaio-based Stochastic Constraint Programming (pdf, legal ps, letter ps, slides). Suresh Manandhar, Armagan Tarim and Toby Walsh. Proceedings of IJCAI-2003, 2003.

Local consistencies in SAT (long published version pdf, earlier short pdf). Christian Bessiere, Emmanuel Hebrard and Toby Walsh. Proceedings of SAT-2003, 2003.

Breaking Row and Column Symmetries in Matrix Models (pdf, legal ps, letter ps). Pierre Flener, Alan Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Justin Pearson and Toby Walsh. Proceedings of CP-2002, 2002.

Global Constraints for Lexicographic Orderings (pdf, legal ps, letter ps). Alan Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel and Toby Walsh. Proceedings of CP-2002, 2002.

From P to NP: COL, XOR, NAE, 1-in-k, and Horn SAT (pdf, legal ps, letter ps). Toby Walsh, Proceedings of AAAI-2002, 2002.

Stochastic Constraint Programming (pdf, legal ps, letter ps). Toby Walsh, Proceedings of ECAI-2002, 2002.

A Fixpoint Based Encoding for Bounded Model Checking (pdf, legal ps, letter ps). Alan Frisch, Daniel Sheridan and Toby Walsh, Proceedings of FMCAD-2002, 2002.

Adding resolution to the DPLL procedure for satisfiability (pdf, legal ps, letter ps). Lyndon Drake, Alan Frisch and Toby Walsh, Proceedings of SAT-2002, 2002.

Phase transition behavior: from decision to optimization (pdf, legal ps, letter ps). John Slaney and Toby Walsh, Proceedings of SAT-2002, 2002.

Modelling a Balanced Academic Curriculum Problem (pdf, legal ps, letter ps). Brahim Hnich, Zeynep Kiziltan and Toby Walsh, Proceedings of CP-AI-OR-2002, 2002.

Permutation Problems and Channelling Constraints (pdf, legal ps, letter ps, powerpoint slides). Toby Walsh, Proceedings of LPAR-2001, 2001.

Backbones in Optimization and Approximation (pdf, legal ps, letter ps). John Slaney and Toby Walsh, Proceedings of IJCAI-2001, 2001.

Search on High Degree Graphs (pdf, legal ps, letter ps). Toby Walsh, Proceedings of IJCAI-2001, 2001.

Singleton Consistencies Patrick Prosser, Kostas Stergiou and Toby Walsh, Proceedings of CP-2000, pages 353-368, Springer-Verlag LNCS-1894, 2000.

SAT v CSP Toby Walsh, Proceedings of CP-2000, pages 441-456, Springer-Verlag LNCS-1894, 2000.

Automatic Invention of Integer Sequences (pdf, legal ps, letter ps). Simon Colton, Alan Bundy and Toby Walsh, Proceedings of AAAI-2000, 2000. (best paper award).

Using Auxiliary Variables and Implied Constraints to Model Non-binary Problems (pdf). Barbara Smith, Kostas Stergiou and Toby Walsh, Proceedings of AAAI-2000, 2000.

Reformulating Propositional Satisfiability as Constraint Satisfaction Toby Walsh, Proceedings of SARA-2000, Springer-Verlag, 2000.

Automatic Identification of Mathematical Concepts Simon Colton, Alan Bundy and Toby Walsh, Proceedings of ICML-2000, 2000.

Decomposable Constraints Ian Gent, Kostas Stergiou and Toby Walsh, New Trends in Constraints, Proceedings of ERCIM/Compulog-Net Workshop, Springer-Verlag, 2000.

CSPLib: a benchmark library for constraints Ian P. Gent and Toby Walsh. Proceedings of CP-99 (shorter version), 1999.

Automatic Concept Formation in Pure Mathematics Simon Colton, Alan Bundy and Toby Walsh. Proceedings of IJCAI-99, 1999.

The Difference All-Difference Makes Kostas Stergiou and Toby Walsh. Proceedings of IJCAI-99, 1999.

Search in a Small World Toby Walsh. Proceedings of IJCAI-99, 1999 (pdf).

Morphing: Combining Structure and Randomness Ian P. Gent, Holger Hoos, Pat Prosser and Toby Walsh. Proceedings of AAAI-99, 1999.

Beyond NP: The QSAT Phase Transition Ian P. Gent and Toby Walsh. Proceedings of AAAI-99, 1999.

Encodings of Non-binary Constraint Satisfaction Problems Kostas Stergiou and Toby Walsh. Proceedings of AAAI-99, 1999.

Random Constraint Satisfaction: Theory meets Practice Ewan MacIntyre, Patrick Prosser, Barbara Smith, and Toby Walsh. Proceedings of CP-98, 1998.

Interleaved and Discrepancy Based Search Pedro Meseguer and Toby Walsh. Proceedings of ECAI-98, 1998.

The Constrainedness Knife-Edge Toby Walsh. Proceedings of AAAI-98, 1998.

The Constrainedness of Arc Consistency Ian Gent, Ewan MacIntyre, Patrick Prosser, Paul Shaw, and Toby Walsh. Proceedings of CP-97, pages 327-340, 1997.

Depth-bounded Discrepancy Search Toby Walsh. Proceedings of IJCAI-97, 1997.

From Approximate to Optimal Solutions: Constructing Pruning and Propagation Rules Ian Gent and Toby Walsh. Proceedings of IJCAI-97, pages 1396-1401.

The Scaling of Search Cost Ian Gent, Ewan MacIntyre, Patrick Prosser, and Toby Walsh. Proceedings of AAAI-97, pages 315-320, 1997.

Local Search and the Number of Solutions. Dave Clark, Jeremy Frank, Ian Gent, Ewan MacIntyre, Neven Tomov and Toby Walsh. Proceedings of CP-96, 1996.

An empirical study of dynamic variable ordering heuristics for the constraint satisfaction problem Ian Gent, Ewan MacIntyre, Patrick Prosser, Barbara Smith, and Toby Walsh. Proceedings of CP-96, pages 179-193, 1996.

Phase transitions and annealed theories: Number partitioning as a case study Ian Gent and Toby Walsh. Proceedings of ECAI-96, pages 170-174, John Wiley and Sons, 1996.

Computing Abstraction Hierarchies by Numerical Simulation. Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani and Toby Walsh. Proceedings of AAAI-96, 1996.

The Constrainedness of Search. Ian Gent, Ewan MacIntyre, Patrick Prosser, and Toby Walsh. Proceedings of AAAI-96, pages 246-252, 1996.

A General Purpose Reasoner for Abstraction. Fausto Giunchiglia, Roberto Sebastiani, Adolfo Villafiorita and Toby Walsh. Advances in Artificial Intelligence, 11th Biennal Conference of the Canadian Society for Computational Studies of Intelligence, AI'96, Lecture Notes in Computer Science, p. 323-335, May 1996.

Scaling Effects in the CSP Phase Transition Ian Gent, Ewan MacIntyre, Patrick Prosser, and Toby Walsh. In the proceedings of First International Conference on Principles and Practice of Constraint Programming, 1995.

Computational Phase Transitions from Real Problems Ian Gent and Toby Walsh, Proceedings of the 8th International Symposium on AI, pages 356-364, 1995.

Unsatisfied Variables in Local Search Ian Gent and Toby Walsh. in `Hybrid Problems, Hybrid Solutions', ed. J. Hallam, IOS Press, Amsterdam, pages 73-85, 1995. (Proceedings of AISB-95.)

A Calculus for Rippling. David Basin and Toby Walsh. Proceedings of 4th International Conference on Conditional and Typed Rewriting Systems, (CTRS-94), Jerusalem, 1994.

Coloured rippling: An extension of a theorem proving heuristic. Tetsuya Yoshida, Alan Bundy, Ian Green, Toby Walsh and David Basin. Proceedings of ECAI-94, ed. A G Cohn, John Wiley & Sons, pages 85-89, 1994.

The SAT Phase Transition Ian Gent and Toby Walsh. Proceedings of ECAI-94, ed. A G Cohn, John Wiley & Sons, pages 105-109, 1994.

Termination Orderings for Rippling. David Basin and Toby Walsh. Proceedings of 12th International Conference on Automated Deduction, (CADE-12), Nancy, France, 1994.

A Divergence Critic. Toby Walsh. Proceedings of 12th International Conference on Automated Deduction, (CADE-12), Nancy, France, 1994.

The Hardest SAT Problems Ian Gent and Toby Walsh. Proceedings of Germany Conference on AI, KI-94, 1994.

Difference Unification. David Basin and Toby Walsh. Proceedings of 13th International Joint Conference on Artificial Intelligence, (IJCAI-93), Chambery, France, 1993.

Towards an Understanding of Hill-climbing Procedures for SAT Ian Gent and Toby Walsh. Proceedings of AAAI-93, 1993.

General Purpose Proof Plans. (not yet available) Toby Walsh. Proceedings of 3rd International Symposium on Design and Implementation of Symbolic Computation Systems, (DISCO-93), Gmunden, Austria, 1993.

Tree Subsumption: Reasoning with Outlines. Fausto Giunchiglia and Toby Walsh. Proceedings of 10th European Conference on Artificial Intelligence, (ECAI-92), Vienna, 1992.

Difference Matching. David Basin and Toby Walsh. Proceedings of 11th International Conference on Automated Deduction, (CADE-11), Albany, New York, 1992.

The Use of Proof Plans to Sum Series. Alan Bundy, Alex Nunes and Toby Walsh. Proceedings of 11th International Conference on Automated Deduction, (CADE-11), Albany, New York, 1992.

An Abstract Proof Checker. Fausto Giunchiglia and Toby Walsh. Proceedings of 2nd International Symposium on Artificial Intelligence and Maths, Fort Lauderdale, 1992.

Using Abstractions. Fausto Giunchiglia and Toby Walsh. Proceedings of 8th Conference of the Society for the Study of Artificial Intelligence and Simulation of Behaviour, (AISB-91), Leeds, 1991.

The Use of Abstraction in Automatic Inference. Fausto Giunchiglia and Toby Walsh. Proceedings of UK Conference on Information Technology, (IT-90), Southampton, 1990.

Abstract Theorem Proving. Fausto Giunchiglia and Toby Walsh. Proceedings of 11th International Joint Conference on Artificial Intelligence, (IJCAI-89), Detroit, 1989.

Theorem Proving with Definitions. Fausto Giunchiglia and Toby Walsh. Proceedings of 7th Conference of the Society for the Study of Artificial Intelligence and Simulation of Behaviour, (AISB-89), Brighton, 1989.

Inconsistent Abstractions. Fausto Giunchiglia and Toby Walsh. Proceedings of 1st Italian Conference on Artificial Intelligence, (AI*IA-89), Trento, 1989.

PLATO. Toby Walsh. Proceedings of the 5th International Conference on Technology in Education, Edinburgh, 1988.

Conferences | Journals | Books

Turing's Red Flag (pdf). Toby Walsh. Communications of the ACM, forthcoming, 2016.

Two Desirable Fairness Concepts for Allocation of Indivisible Objects (pdf). Haris Aziz, Serge Gaspers, Simon Mackenzie and Toby Walsh. ACM SIGecom Exchanges, 14(2): 16-21, 2016.

Fair assignment of indivisible objects under ordinal preferences (pdf). Haris Aziz, Serge Gaspers, Simon Mackenzie, Toby Walsh. Artificial Intelligence, 227: 71-92, 2015.

Candy Crush's Puzzling Mathematics (pdf). Toby Walsh. American Scientist, 102(6): 40-43 , 2014.

Complexity of and Algorithms for the Manipulation of Borda, Nanson's and Baldwin's Voting Rules (pdf). Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh and Lirong Xia. Artificial Intelligence, 217, 20-42, 2014.

Multiset variable representations and constraint propagation (pdf). Y.C. Law, J.M.H Lee, T. Walsh and M.H.C. Woo. Constraints, 18 (3), 307-343, 2013.

AI @ NICA (pdf). N. Barnes, P. Baumgartner, T. Caetano, H. Durrant-Whyte, G. Klein, P. Sanderson, A. Sattar, P. Stuckey, S. Thiebaux, P. Van Hentenryck, and T. Walsh. AI Magazine, 33 (3), 115-127, 2012.

Winner determination in voting trees with incomplete preferences and weighted votes (pdf). Jerome Lang, Maria Silvia Pini, Francesca Rossi, Domenico Salvagnin, K. Brent Venable and Toby Walsh. Autonomous Agents and Multi-Agent Systems, 25 (1), 130-157, 2012.

Is computational complexity a barrier to manipulation? (pdf). Toby Walsh. Annals of Mathematics and Artificial Intelligence, 62(1-2), 7-26, 2011.

New algorithms for max restricted path consistency (pdf). Thanasis Balafoutis, Anastasia Paparrizou, Kostas Stergiou, and Toby Walsh. Constraints, 16(4), 372-406, 2011.

Where Are the Hard Manipulation Problems? (pdf). Toby Walsh. Journal of Artificial Intelligence Research, 42, 1-39, 2011.

The weighted GRAMMAR constraint (pdf). George Katsirelos, Nina Narodytska and Toby Walsh. Annals of Operations Research, 184, 179-207, 2011.

Symmetry-breaking Answer Set Solving (pdf). Christian Drescher, Oana Tifrea and Toby Walsh. AI Communications, 24 (2), 177-194, 2011.

Incompleteness and incomparability in preference aggregation: Complexity results (pdf). Maria Silvia Pini, Francesca Rossi, K. Brent Venable and Toby Walsh. Artificial Intelligence, 175 (7-8), 1272-1289, 2011.

Manipulation complexity and gender neutrality in stable marriage procedures (pdf). Maria Silvia Pini, Francesca Rossi, K. Brent Venable and Toby Walsh. Autonomous Agents and Multi-Agent Systems, 22 (1), 183-199, January 2011.

A Translational Approach to Constraint Answer Set Solving (pdf). Christian Drescher and Toby Walsh. Theory and Practice of Logic Programming, 10 (4-6), 465-480, July 2010.

Elicitation Strategies for Soft Constraint Problems with Missing Preferences: Properties, Algorithms and Experimental Studies (pdf). Mirco Gelain, Maria Silvia Pini, Francesca Rossi, K. Brent Venable and Toby Walsh. Artificial Intelligence, 174 (3-4), 270-294, March 2010.

Range and Roots: Two common patterns for specifying and propagating counting and occurrence constraints (pdf). Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan and Toby Walsh. Artificial Intelligence, 173 (11), 299-328, July 2009.

Aggregating partially ordered preferences (pdf legal ps letter ps). Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable and Toby Walsh. Journal of Logic and Computation, 19 (3): 475-502, June 2009.

Filtering algorithms for the multiset ordering constraint (pdf legal ps letter ps). Alan Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel and Toby Walsh. Artificial Intelligence, 173 (2), 299-328, 2009.

Domain filtering consistencies for non-binary constraints (pdf legal ps letter ps). Christian Bessiere, Kostas Stergiou and Toby Walsh. Artificial Intelligence, 172 (6-7), 800-822, 2008.

Preferences in Constraint Satisfaction and Optimization (pdf legal ps letter ps). Francesca Rossi, Brent Venable and Toby Walsh. AI Magazine, 29 (4), 58-68, 2008.

The Complexity of Global Constraints (pdf legal ps letter ps). Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, and Toby Walsh. Constraints, 12 (2), 239-259, 2007.

Representing and Reasoning with Preferences (pdf legal ps letter ps). Toby Walsh. AI Magazine, 28 (4), 59-69, 2007.

Filtering algorithms for the NVALUE constraint (pdf legal ps letter ps). Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, and Toby Walsh. Constraints, 11 (4), 271-293, 2006. Note that Figure 4 in the printed journal version contains an arrow which is accidently reversed. This is corrected in the versions here.

TETRAVEX is NP-complete (pdf legal ps letter ps). Yasuhiko Takenaga and Toby Walsh. Information Processing Letters, 99 (5), 171-174, 2006.

Propagation algorithms for lexicographic ordering constraint. (pdf legal ps letter ps). Alan Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel and Toby Walsh. Artificial Intelligence, 170 (10), 803-908, 2006.

Hard and soft constraints for reasoning about qualitative conditional preferences. (pdf legal ps letter ps). Carmel Domshlak, Steve Prestwich, Francesca Rossi, Kristen Brent Venable and Toby Walsh. Journal of Heuristics, 12 (4-5), 263-285, 2006.

Stochastic Constraint Programming: A Scenario-Based Approach. (pdf legal ps letter ps). S. Armagan Tarim, Suresh Manandhar, and Toby Walsh. Constraints, 11 (1), 53-81, 2006.

Aggregating preferences cannot be fair. (pdf legal ps letter ps). Francesca Rossi, Kristen Brent Venable, Toby Walsh. Intelligenza Artificiale, 2 (1), 30-38, 2005.

Hybrid Modelling for Robust Solving. (pdf legal ps letter ps). Brahim Hnich, Zeynep Kiziltan, Ian Miguel and Toby Walsh. Annals of Operations Research, 130 (1-4), 19-39, 2004.

Dual Modelling of Permutation and Injection Problems. (pdf legal ps letter ps). Brahim Hnich, Barabara Smith and Toby Walsh. Journal of Artificial Intelligence Research, 21, 357-391, 2004.

Binary vs Non-Binary Constraints. (pdf legal ps letter ps). Fahiem Bacchus, Xinguang Chen, Peter van Beek and Toby Walsh. Artificial Intelligence, 140 (1-2), 1-37, 2002.

Random Constraint Satisfaction: Flaws and Structure. (pdf legal ps letter ps). Ian Gent, Ewan MacIntyre, Patrick Prosser, Barbara Smith and Toby Walsh. Constraints, 6 (4), 345-372, 2001.

Decomposable Constraints (pdf legal ps letter ps). Ian Gent, Kostas Stergiou and Toby Walsh. Artificial Intelligence, 123 (1-2), 133-156, 2000.

On the Notion of Interestingness in Automated Mathematical Discovery. Simon Colton, Alan Bundy and Toby Walsh. International Journal of Human-Computer Studies, 53 (3), 351-375, 2000.

Analysis of Heuristics for Number Partitioning . Ian Gent and Toby Walsh. Computational Intelligence, 14 (3), 430-451, 1998.

Asymptotic and Finite Size Parameters for Phase Transitions: Hamiltonian Circuit as a Case Study. Jeremy Frank, Ian Gent, and Toby Walsh. Information Processing Letters, 65 (5), 241-245, 1998.

Abstract proof checking: an example motivated by an incompleteness theorem. Alan Bundy, Fausto Giunchiglia, Adolfo Villafiorita and Toby Walsh. Journal of Automated Reasoning, 19 (3), 319-346, 1997.

A Calculus for and Termination of Rippling. David Basin and Toby Walsh. Journal of Automated Reasoning. 16 (1-2), 147-180, 1996.

Calculating Criticalities. Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani and Toby Walsh. Artificial Intelligence, 88 (1-2), 39-67, 1996.

The TSP Phase Transition. Ian Gent and Toby Walsh. Artificial Intelligence, 88 (1-2), 349-358, 1996.

The Satisfiability Constraint Gap. Ian Gent and Toby Walsh. Artificial Intelligence, 81 (1-2), 1996.

A Divergence Critic for Inductive Proof. Toby Walsh. Journal of Artificial Intelligence Research, 4, 209-235, 1996.

Easy Problems are Sometimes Hard. Ian Gent and Toby Walsh. Artificial Intelligence, 70, 335-345, 1994.

Analogical Proof Planning. Toby Walsh. Chapter in T. Dartnall (editor), Artificial Intelligence and Creativity, Kluwer, 1994.

An Empirical Analysis of Search in GSAT. Ian Gent and Toby Walsh, Journal of Artificial Intelligence Research, Vol. 1, September 1993.

The Inevitability of Inconsistent Abstract Spaces. Fausto Giunchiglia and Toby Walsh Journal of Automated Reasoning, 11 (1), 23-42, 1993.

A Theory of Abstraction. Fausto Giunchiglia and Toby Walsh Artificial Intelligence, 56 (2-3), pages 323-390, 1992.

Conferences | Journals | Books

Proc. of 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011). Editor.

A Short Introduction to Preferences: Between Artificial Intelligence and Social Choice. Francesca Rossi, Brent Venable and Toby Walsh. Morgan and Claypool Publishers. 2011.

Handbook of Satisfiability. Editor, 2009.

Handbook of Knowledge Representation. 2008. Chapter on Constraint Programming.

Handbook of Constraint Programming. Editor, 2006. Table of Contents. Chapters co-authored: Introduction, Randomness and Structure.

SAT-2005: satisfiability research in the year 2005. Editor.

Proc. of 8th Int. Conf. on Theory and Applications of Satisfiability Testing (SAT 2005). Editor.

Proc. of 18th Int. Joint Conf. on Artificial Intelligence (IJCAI-2003). Editor.

Proc. of 7th Int. Conf. on Principles and Practice of Constraint Programming (CP 2001). Editor.

Abstraction, Reformulation, and Approximation: Proc. of 4th International Symposium, (SARA 2002). Editor.

SAT-2000: satisfiability research in the year 2000 (Introduction pdf legal ps letter ps). Frontiers in AI, Volume 63, IOS Press, Amsterdam 2000.

A Theory of Abstraction. (pdf legal ps letter ps). Toby Walsh, PhD thesis, Edinburgh University, 1990.

Awards

Prizes

2016. Fellow of Australian Academy of Science.
2015. ACP Research Excellence.
2014. Humboldt Research award.
2013. IJCAI Best Video.
2011. AAAI-2011 Outstanding Paper.
2011. TARK XIII Best Poster.
2008. Elected AAAI Fellow.
2006. CP 2006 Best Poster.
2006. ECAI 2006. Best Poster.
2006. ECAI 2006. Top 10 paper.
2004. ECAI 2004. Top 10 paper.
2003. Elected EurAI Fellow.
2000. AAAI-2000 Outstanding Paper.
1992. Royal Society European Exchange Fellow.
1983. Open Scholarship, Cambridge.

Grants

2016. ERC Advanced (€2.5M).
2015. AOARD (A$500k).
2012. AOARD (A$450k).
2010. AOARD (A$170k).
2004. ARC (A$250k).
2002. SFI (€1.5M).
2002. EPSRC (£59k).
2001. EU Network (£40k).
2001. EPSRC (£105k).
2000. EPSRC (£245k).
1999. EPSRC ARF (£250k).
1999. EPSRC (£170k).
1996. EPSRC (£158k).
1994. EU Marie Curie (£70k).
1993. EU Marie Curie (£35k).
1991. British Council (£3k).

Selected Activities

Editorial

Associate Editor of the Journal of the ACM.
Managing Editor of AI Access Books.
Editor of AI and Society track, Journal of Artificial Intelligence Research.
Editor-in-Chief of Journal of Artificial Intelligence Research (retired).
Editor-in-Chief of AI Communications (retired).
Editorial board of Constraints.
Editorial board of Journal of Automated Reasoning.
Editorial board of Logical Methods in Computer Science.
Editorial board of Engineers Australia magazine.

Conferences

Local Chair IJCAI-2017.
Program Chair ADT-2015.
General Chair PRICAI-2014.
Co-Chair COMSOC-2014.
Program Chair IJCAI-2011.
Conference Chair CP-2008.
Chair SAT-2005.
Conference Chair IJCAR-2004.
Program Chair CP-2001.
Chair of AAAI 2000 Fall Symposium.
Chair of SARA-2000.

Contact

I am currently on sabbatical at TU Berlin.

  • Address

    Technische Universitat Berlin
    Fakultat IV, Sekr. TEL 5-1, Ernst-Reuter-Platz 7
    D-10587 Berlin, Germany


    Data61, Locked Bag 6016, UNSW
    Kensington NSW 1466, Australia
  • Email

    tw@cse.unsw.edu.au
  • Phone

    (+61) 424 325 167
  • Social