Conferences | Journals | Books
Approximate Mechanism Design for Facility Location with Multiple Objectives (pdf).Toby Walsh. 27th European Conference on Artificial Intelligence (ECAI-24).
Mechanisms that Play a Game, not Toss a Coin (pdf). Toby Walsh. Proceedings of 33rd International Joint Conference on Artificial Intelligence (IJCAI-24).
Proportional Fairness in Obnoxious Facility Location (pdf). Alex Lam, Haris Aziz, Bo Lo, Fahimeh Ramezani and Toby Walsh. Proceedings of 23rd International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2024).
Mixed Fair Division: A Survey (pdf). Shengxin Liu, Xinhang Lu, Mashbat Suzuki, and Toby Walsh. Proceedings of the 38th AAAI Conference on Artificial Intelligence (AAAI-24).
Fair Lotteries for Participatory Budgeting (pdf). Haris Aziz, Xinhang Lu, Mashbat Suzuki, Jeremy Vollen, and Toby Walsh In Proceedings of the 38th AAAI Conference on Artificial Intelligence (AAAI-24)
Maximin Fair Allocation of Indivisible Items Under Cost Utilities (pdf). Sirin Botan, Angus Ritossa, Mashbat Suzuki, and Toby Walsh. SAGT 2023.
Best-of-Both-Worlds Fairness in Committee Voting (pdf). Haris Aziz, Xinhang Lu, Mashbat Suzuki, Jeremy Vollen, and Toby Walsh. WINE 2023.
Fairness Concepts for Indivisible Items with Externalities (pdf). Haris Aziz, Warut Suksompong, Zhaohong Sun, Toby Walsh. Proceedings of AAAI-2023, 2023.
Proportional Fairness in Obnoxious Facility Location (pdf). Haris Aziz, Alexander Lam, Bo Li, Fahimeh Ramezani, and Toby Walsh Proceedings of AAMAS-2023, 2023.
Strategyproof and Proportionally Fair Facility Location (pdf). Haris Aziz, Alex Lam, Barton E. Lee, and Toby Walsh, Proceedings of WINE 2022.
Random Rank: The One and Only Strategyproof and Proportionally Fair Randomized Facility Location Mechanism (pdf). Haris Aziz, Alexander Lam, Mashbat Suzuki, Toby Walsh. Proceedings of NeurIPS-2022, 2022.
Strategy Proof Mechanisms for Capacitated Facility Location (pdf). Toby Walsh. Proceedings of IJCAI-2022, 2022.
Minimal-envy Conference Paper Assignment: Formulation and a Fast Iterative Algorithm (pdf). Mao Tan, Zhuocen Dai, Yuling Ren and Toby Walsh. Proceedings of ACAIT-2021, 2021. Best paper prize.
Strategy Proof Mechanisms for Facility Location at Limited Locations (pdf, longer pdf with proofs). Toby Walsh. Proceedings of PRICAI-2021, 2021.
Fair Pairwise Exchange among Groups (pdf). Zhaohong Sun, Taiki Todo and Toby Walsh. Proceedings of IJCAI-2021, 2021. A Branch-and-Price Framework for the Maximum Covering and Patrol Routing Problem (pdf). Paul A. Chircop, Timothy J. Surendonk, Menkes H. L. van den Briel, and Toby Walsh. 26th National Conference of the Australian Society for Operations Research. Appears in Data and Decision Sciences in Action 2, Springer Lecture Notes in Management and Industrial Engineering, 2021.Two Algorithms for Additive and Fair Division of Mixed Manna (pdf). Martin Aleksandrov and Toby Walsh. Proceedings of KI-2020, 2020. (runner up, Best Paper).
Fair Division: The Computer Scientist's Perspective (pdf, video trailer, full video). Toby Walsh. Proceedings of IJCAI-2020, 2020.
In Search for a SAT-friendly Binarized Neural Network Architecture (pdf). Nina Narodytska, Hongce Zhang, Aarti Gupta and Toby Walsh. Proceedings of ICLR-2020, 2020.
Online Fair Division: A Survey (pdf). Martin Aleksandrov and Toby Walsh. Proceedings of AAAI-2020, 2020.
Facility Location Problem with Capacity Constraints: Algorithmic and Mechanism Design Perspectives (pdf). Haris Aziz, Hau Chan, Barton E. Lee, Bo Li, and Toby Walsh. Proceedings of AAAI-2020, 2020.
Fair Division Minimizing Inequality (pdf). Martin Aleksandrov, Cunjing Ge and Toby Walsh. Progress in AI, Proceedings of EPIA-2019, 2019.
Monotone and Online Fair Division (pdf). Martin Aleksandrov and Toby Walsh. Proceedings of KI-2019, 2019. (runner up, Best Paper).
Fair Allocation of Indivisible Goods and Chores (pdf). Haris Aziz, Ioannis Caragiannis, Ayumi Igarasho and Toby Walsh. Proceedings of IJCAI-2019, 2019.
Fair Online Allocation of Perishable Goods and its Application to Electric Vehicle Charging (pdf). Enrico Gerding, Alvaro Perez-Diaz, Haris Aziz, Serge Gaspers, Antonia Marcu, Nicholas Mattei, and Toby Walsh. Proceedings of IJCAI-2019, 2019.
From Matching with Diversity Constraints to Matching with Regional Quotas (pdf). Haris Aziz, Serge Gaspers, Zhaohong Sun and Toby Walsh. Proceedings of AAMAS-2019, 2019.
Strategy-proofness, Envy-freeness and Pareto efficiency in Online Fair Division with Additive Utilities (pdf). Martin Aleksandrov and Toby Walsh. Proceedings of PRICAI-2019, 2019.
Group Envy Freeness and Group Pareto Efficiency in Fair Division with Indivisible Items (pdf). Martin Aleksandrov and Toby Walsh. Proceedings of KI-2018, 57-72, 2018.
Fairness in Deceased Organ Matching (pdf). Nicholas Mattei, Abdallah Saffidine and Toby Walsh. Proceedings of AIES-2018, 2018.
Verifying Properties of Binarized Deep Neural Networks (pdf). Nina Narodytska, Shiva Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, Toby Walsh. Proceedings of AAAI 2018, 2018.
The Conference Paper Assignment Problem: Using Order Weighted Averages to Assign Indivisible Goods (pdf). Jing Wu Lian, Nicholas Mattei, Renee Noble, and Toby Walsh. Proceedings of AAAI 2018, 2018.
Expected Outcomes and Manipulations in Online Fair Division (pdf). Best Paper award. Martin Aleksandrov and Toby Walsh. Proceedings of KI-2017, 2017.
Most Competitive Mechanisms in Online Fair Division (pdf). Martin Aleksandrov and Toby Walsh. Proceedings of KI-2017, 2017.
Equilibria in Sequential Allocation (pdf). Haris Aziz, Paul Goldberg and Toby Walsh. Proceedings of ADT-2017, 2017.
Deceased Organ Matching in Australia (pdf). Toby Walsh. Proceedings of ADT-2017, 2017.
Pure Nash Equilibria in Online Fair Division (pdf). Matin Aleksandrov and Toby Walsh. Proceedings of IJCAI-2017, 2017.
Mechanisms for Online Organ Matching (pdf). Nick Matteri, Abdallah Saffidine and Toby Walsh. Proceedings of IJCAI-2017, 2017.
Algorithms for Max-Min Share Fair Allocation of Indivisible Chores (pdf). Haris Aziz, Gerhard Rauchecker, Guido Schryen and Toby Walsh. Proceedings of AAAI-2017, 2017.
The Meta-Turing Test (pdf). Toby Walsh. In Proceedings of AAAI 2017 Workshops. Presented at AAAI-2017, 2017.
Welfare of Sequential Allocation Mechanisms for Indivisible Goods (pdf). Haris Aziz, Thomas Kalinowski, Toby Walsh and Lirong Xia. Proceedings of ECAI-2016, 2016.
h-Index Manipulation by Undoing Merges (pdf). Rene van Bevern, Chrisitian Komusiewicz, Hendrik Molter, Rolf Neidermeier, Manuel Sorge and Toby Walsh. Proceedings of ECAI-2016, 2016.
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
Mixed Fair Division: A Survey (pdf). Shengxin Liu, Xinhang Lu, Mashbat Suzuki, and Toby Walsh. Journal of Artificial Intelligence Research. 80: 1373-1406, 2024.
Corrigendum to Learning constraints through partial queries. (pdf). Christian Bessiere, Clément Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Kostas Stergiou, Dimosthenis C. Tsouros, Toby Walsh: Artificial Intelligence, 328: 104075, 2024.
Will AI end privacy? How do we avoid an Orwellian future (pdf). Toby Walsh. AI and Society, 38(3): 1239-1240, 2023.
Learning constraints through partial queries. (pdf). Christian Bessiere, Clément Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Kostas Stergiou, Dimosthenis C. Tsouros, Toby Walsh: Artificial Intelligence, 319: 1038962, 2023.
Can AI invent? (pdf) Alexandra George and Toby Walsh. Nature Machine Intelligence, 2022.
Artificial intelligence is breaking patent law. (pdf) Alexandra George and Toby Walsh. Nature, 605 (7911): 616-618, 2022.
The Troubling Future for Facial Recognition Software (pdf). Toby Walsh Communications of the ACM, 65(3):35-36, March 2022.
On routing and scheduling a fleet of resource-constrained vessels to provide ongoing continuous patrol coverage (pdf). Paul A. Chircop, Timothy J. Surendonk, Menkes H. L. van den Briel and Toby Walsh Annals of Operations Research, 312(2): 723--760, 2022.
Fair allocation of indivisible goods and chores (pdf). Haris Aziz, Ioannis Caragiannis, Ayumi Igarashi, and Toby Walsh Autonomous Agents and Multi-Agent Systems 36(3), 2022.
h-Index manipulation by undoing merges (pdf). Rene van Bevern, Christian Komusiewicz, Hendrik Molter, Rolf Niedermeier, Manuel Sorge and Toby Walsh. Quantitative Science Studies 1(4): 1529--1552, MIT Press Journals, Fall 2020.
A Pebble in the AI Race (pdf). Toby Walsh. The Druk Journal, Spring 2020.
Experiments in Social Media (pdf). Toby Walsh. AI Magazine, 40(4): 74-77, Winter 2019.
Strategyproof Peer Selection using Randomization, Partitioning, and Apportionment (pdf). Haris Aziz, Omer Lev, Nick Mattei, Jeff Rosenschein and Toby Walsh. Artificial Intelligence, 275: 295-309, 2019.
Fixing balanced knockout and double elimination tournaments (pdf). Haris Aziz, Serge Gaspers, Simon Mackenzieb, Nicholas Mattei, Paul Stursberg and Toby Walsh. Artificial Intelligence 262:1--14, 2018.
Expert and Non-expert Opinion About Technological Unemployment (pdf). Toby Walsh. International Journal of Automation and Computing 15(4):633--638, 2018.
The Singularity May Never Be Near (pdf). Toby Walsh. AI Magazine 38(3): 58-62, 2017.
Ethical Considerations in Artificial Intelligence Courses (pdf). Emanuelle Burton, Judy Goldsmith, Sven Koenig, Benjamin Kuipers, Nicholas Mattei, and Toby Walsh. AI Magazine 38(2): 22-34, 2017.
Orbital shrinking: Theory and applications (pdf). Matteo Fischettia, Leo Libertibi, Domenico Salvagnina, and Toby Walsh. Discrete Applied Mathematics. Volume 222, 11 May 2017, 109-123.
Parliamentary Voting Procedures: Agenda Control, Manipulation, and Uncertainty (pdf). Robert Bredereck, Jiehua Chen, Rolf Niedermeier, Toby Walsh. Journal of Artificial Intelligence Research. 59: 133-173, 2017.
Justified Representation in Approval-Based Committee Voting (pdf). Haris Aziz, Markus Brill, Vincent Conitzer, Edith Elind, Rupert Freeman and Toby Walsh. Social Choice and Welfare, 2017.
H-index manipulation by merging articles: Models, theory, and experiments (pdf). Rene van Bevern, Christian Komusiewicz, Rolf Neidermeier, Manuel Sorge and Toby Walsh. Artificial Intelligence, 240: 19-35, 2016.
A Study of Proxies for Shapley Allocations of Transport Costs (pdf). Haris Aziz, Casey Cahan, Charles Gretton, Philip Kilby, Nicholas Mattei and Toby Walsh. Journal of Artificial Intelligence Research, 56: 573-611, 2016.
Three generalizations of the FOCUS constraint (pdf). Nina Narodytska, Thierry Petit, Mohamed Siala, Toby Walsh. Constraints, 21(4): 495-532, 2016.
Turing's Red Flag (pdf). Toby Walsh. Communications of the ACM, 59(7): 34-37, 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.
UK101 Graph Plot. Toby Walsh Practial Electronics, pages 66-67, January 1981.
6502 Special: Formula One programme. Toby Walsh Practial Computing, 3 (9), pages 113, 1980.
Conferences | Journals | Books
More than programming? The impact of AI on work and skills, Chapter 9 in The Future of Work: Global Trends, Challenges and Policies with an Australian Perspective. Editor: Andreas Cebulla, Routledge. 2023.
Faking It: Artificial Intelligence in a Human World, Black Inc, Australia, 2023.
More than programming? The impact of AI on work and skills (Chapter 9, pdf). Toby Walsh The Future of Work: Global Trends, Challenges and Policies with an Australian Perspective Editor: Andreas Cebulla, Routledge. 2023
Adventures in Mathematical Reasoning (pdf). Toby Walsh Mathematical Reasoning: The History and Impact of the DReaM Group Editor: Gregory Michaelson. Springer. 2021
The World in 2062 (pdf).
Toby Walsh. Foreword to
AI for Everyone: benefitting from and building trust in the technology, (pdf). Jiro Kokuryo, Catharina Maracke and Toby Walsh. Published by AI Access, United States, 2020.
Proceedings of 3rd AAAI/ACM Conference on AI, Ethics and Society (AIES 2020), Editor.
2062: The World that AI Made, Black Inc, Australia, 2018.
Machines that Think: The Future of Artificial Intelligence, Penguin Random House, US, 2018.
It's Alive!: Artificial Intelligence from the Logic Piano to Killer Robots, Black Inc, Australia, 2017.
Android Dreams: The Past, Present and Future of Artificial Intelligence, Hurst Publishers, UK, 2017.
Data Mining and Constraint Programming 2016. Chapter 6 on New Approaches to Constraint Acquisition.
Handbook of Computational Social Choice 2016. Chapter 6 on Barriers to Manipulation in Voting.
Proc. of 4th International Conference Algorithmic Decision Theory (ADT 2015). Editor.
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.