Walsh, Toby

106 publications

AAAI 2025 AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA Toby Walsh, Julie Shah, Zico Kolter

IJCAI 2025 Distance Preservation Games Haris Aziz, Hau Chan, Patrick Lederer, Shivika Narang, Toby Walsh

IJCAI 2025 Equitable Mechanism Design for Facility Location Toby Walsh

AAAI 2024 Fair Lotteries for Participatory Budgeting Haris Aziz, Xinhang Lu, Mashbat Suzuki, Jeremy Vollen, Toby Walsh

IJCAI 2024 Mechanisms That Play a Game, Not Toss a Coin Toby Walsh

AAAI 2024 Mixed Fair Division: A Survey Shengxin Liu, Xinhang Lu, Mashbat Suzuki, Toby Walsh

JAIR 2024 Mixed Fair Division: A Survey Shengxin Liu, Xinhang Lu, Mashbat Suzuki, Toby Walsh

AAAI 2023 Fairness Concepts for Indivisible Items with Externalities Haris Aziz, Warut Suksompong, Zhaohong Sun, Toby Walsh

NeurIPS 2022 Random Rank: The One and Only Strategyproof and Proportionally Fair Randomized Facility Location Mechanism Haris Aziz, Alexander Lam, Mashbat Suzuki, Toby Walsh

IJCAI 2022 Strategy Proof Mechanisms for Facility Location with Capacity Limits Toby Walsh

IJCAI 2021 Fair Pairwise Exchange Among Groups Zhaohong Sun, Taiki Todo, Toby Walsh

AAAI 2020 Facility Location Problem with Capacity Constraints: Algorithmic and Mechanism Design Perspectives Haris Aziz, Hau Chan, Barton Lee, Bo Li, Toby Walsh

IJCAI 2020 Fair Division: The Computer Scientist's Perspective Toby Walsh

ICLR 2020 In Search for a SAT-Friendly Binarized Neural Network Architecture Nina Narodytska, Hongce Zhang, Aarti Gupta, Toby Walsh

AAAI 2020 Online Fair Division: A Survey Martin Aleksandrov, Toby Walsh

IJCAI 2019 Fair Allocation of Indivisible Goods and Chores Haris Aziz, Ioannis Caragiannis, Ayumi Igarashi, Toby Walsh

IJCAI 2019 Fair Online Allocation of Perishable Goods and Its Application to Electric Vehicle Charging Enrico H. Gerding, Alvaro Perez-Diaz, Haris Aziz, Serge Gaspers, Antonia Marcu, Nicholas Mattei, Toby Walsh

AAAI 2018 The Conference Paper Assignment Problem: Using Order Weighted Averages to Assign Indivisible Goods Jing Wu Lian, Nicholas Mattei, Renee Noble, Toby Walsh

AAAI 2018 Verifying Properties of Binarized Deep Neural Networks Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, Toby Walsh

AAAI 2017 Algorithms for Max-Min Share Fair Allocation of Indivisible Chores Haris Aziz, Gerhard Rauchecker, Guido Schryen, Toby Walsh

IJCAI 2017 Mechanisms for Online Organ Matching Nicholas Mattei, Abdallah Saffidine, Toby Walsh

JAIR 2017 Parliamentary Voting Procedures: Agenda Control, Manipulation, and Uncertainty Robert Bredereck, Jiehua Chen, Rolf Niedermeier, Toby Walsh

IJCAI 2017 Pure Nash Equilibria in Online Fair Division Martin Aleksandrov, Toby Walsh

JAIR 2016 A Study of Proxies for Shapley Allocations of Transport Costs Haris Aziz, Casey Cahan, Charles Gretton, Philip Kilby, Nicholas Mattei, Toby Walsh

IJCAI 2016 Control of Fair Division Haris Aziz, Ildikó Schlotter, Toby Walsh

IJCAI 2016 Interdependent Scheduling Games Andrés Abeliuk, Haris Aziz, Gerardo Berbeglia, Serge Gaspers, Petr Kalina, Nicholas Mattei, Dominik Peters, Paul Stursberg, Pascal Van Hentenryck, Toby Walsh

IJCAI 2016 Ranking Constraints Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Toby Walsh

AAAI 2016 Strategic Behaviour When Allocating Indivisible Goods Toby Walsh

AAAI 2016 Strategyproof Peer Selection: Mechanisms, Analyses, and Experiments Haris Aziz, Omer Lev, Nicholas Mattei, Jeffrey S. Rosenschein, Toby Walsh

AAAI 2015 Challenges in Resource and Cost Allocation Toby Walsh

IJCAI 2015 Equilibria Under the Probabilistic Serial Rule Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh

IJCAI 2015 H-Index Manipulation by Merging Articles: Models, Theory, and Experiments René van Bevern, Christian Komusiewicz, Rolf Niedermeier, Manuel Sorge, Toby Walsh

AAAI 2015 Justified Representation in Approval-Based Committee Voting Haris Aziz, Markus Brill, Vincent Conitzer, Edith Elkind, Rupert Freeman, Toby Walsh

IJCAI 2015 Online Fair Division: Analysing a Food Bank Problem Martin Aleksandrov, Haris Aziz, Serge Gaspers, Toby Walsh

IJCAI 2015 Parliamentary Voting Procedures: Agenda Control, Manipulation, and Uncertainty Robert Bredereck, Jiehua Chen, Rolf Niedermeier, Toby Walsh

IJCAI 2015 Possible and Necessary Allocations via Sequential Mechanisms Haris Aziz, Toby Walsh, Lirong Xia

IJCAI 2015 Reasoning About Connectivity Constraints Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Toby Walsh

AAAI 2014 Fixing a Balanced Knockout Tournament Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Paul Stursberg, Toby Walsh

IJCAI 2013 A Social Welfare Optimal Sequential Allocation Procedure Thomas Kalinowski, Nina Narodytska, Toby Walsh

IJCAI 2013 Constraint Acquisition via Partial Queries Christian Bessiere, Remi Coletta, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Toby Walsh

IJCAI 2013 Detecting and Exploiting Subproblem Tractability Christian Bessiere, Clément Carbonnel, Emmanuel Hebrard, George Katsirelos, Toby Walsh

IJCAI 2013 On the Complexity of Global Scheduling Constraints Under Structural Restrictions Geoffrey Chu, Serge Gaspers, Nina Narodytska, Andreas Schutt, Toby Walsh

AAAI 2013 Strategic Behavior When Allocating Indivisible Goods Sequentially Thomas Kalinowski, Nina Narodytska, Toby Walsh, Lirong Xia

IJCAI 2013 Three Generalizations of the FOCUS Constraint Nina Narodytska, Thierry Petit, Mohamed Siala, Toby Walsh

AAAI 2013 Ties Matter: Complexity of Manipulation When Tie-Breaking with a Random Vote Haris Aziz, Serge Gaspers, Nicholas Mattei, Nina Narodytska, Toby Walsh

AAAI 2012 Eliminating the Weakest Link: Making Manipulation Intractable? Jessica Davies, Nina Narodytska, Toby Walsh

AAAI 2012 Symmetry Breaking Constraints: Recent Results Toby Walsh

AAAI 2011 A Comparison of Lex Bounds for Multiset Variables in Constraint Programming Yat Chiu Law, Jimmy Ho-Man Lee, May Hiu-Chun Woo, Toby Walsh

AAAI 2011 Complexity of and Algorithms for Borda Manipulation Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh

AAAI 2011 Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation Christian Drescher, Toby Walsh

AAAI 2011 Dominating Manipulations in Voting with Partial Information Vincent Conitzer, Toby Walsh, Lirong Xia

IJCAI 2011 IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011 Toby Walsh

AAAI 2011 Manipulation of Nanson's and Baldwin's Rules Nina Narodytska, Toby Walsh, Lirong Xia

AAAI 2011 The Next Best Solution Ronen I. Brafman, Enrico Pilotto, Francesca Rossi, Domenico Salvagnin, Kristen Brent Venable, Toby Walsh

IJCAI 2011 Translation-Based Constraint Answer Set Solving Christian Drescher, Toby Walsh

JAIR 2011 Where Are the Hard Manipulation Problems? Toby Walsh

AAAI 2010 Propagating Conjunctions of AllDifferent Constraints Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh

AAAI 2010 Symmetry in Solutions Marijn Heule, Toby Walsh

IJCAI 2009 Circuit Complexity and Decompositions of Global Constraints Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh

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

IJCAI 2009 Where Are the Really Hard Manipulation Problems? the Phase Transition in Manipulating the Veto Rule Toby Walsh

AAAI 2008 Breaking Value Symmetry Toby Walsh

AAAI 2008 Decompositions of Grammar Constraints Claude-Guy Quimper, Toby Walsh

AAAI 2008 The Parameterized Complexity of Global Constraints Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Claude-Guy Quimper, Toby Walsh

IJCAI 2007 Constraint and Variable Ordering Heuristics for Compiling Configuration Problems Nina Narodytska, Toby Walsh

IJCAI 2007 Distance Constraints in Constraint Satisfaction Emmanuel Hebrard, Barry O'Sullivan, Toby Walsh

IJCAI 2007 Incompleteness and Incomparability in Preference Aggregation Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh

AAAI 2007 Uncertainty in Preference Elicitation and Aggregation Toby Walsh

IJCAI 2007 Winner Determination in Sequential Majority Voting Jérôme Lang, Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh

AAAI 2006 Estimating Search Tree Size Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh

AAAI 2005 Backbones and Backdoors in Satisfiability Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh

AAAI 2005 Constraint-Based Preferential Optimization Steve Prestwich, Francesca Rossi, K. Brent Venable, Toby Walsh

AAAI 2005 Finding Diverse and Similar Solutions in Constraint Programming Emmanuel Hebrard, Brahim Hnich, Barry O'Sullivan, Toby Walsh

IJCAI 2005 Propagating Logical Combinations of Constraints Fahiem Bacchus, Toby Walsh

IJCAI 2005 The Backbone of the Travelling Salesperson Philip Kilby, John K. Slaney, Toby Walsh

IJCAI 2005 The Range and Roots Constraints: Specifying Counting and Occurrence Problems Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh

JAIR 2004 Dual Modelling of Permutation and Injection Problems Brahim Hnich, Toby Walsh, Barbara M. Smith

AAAI 2004 The Complexity of Global Constraints Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh

AAAI 2004 mCP Nets: Representing and Reasoning with Preferences of Multiple Agents Francesca Rossi, K. Brent Venable, Toby Walsh

IJCAI 2003 IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003 Georg Gottlob, Toby Walsh

IJCAI 2003 Multiset Ordering Constraints Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh

IJCAI 2003 Reasoning About Soft Constraints and Conditional Preferences: Complexity Results and Approximation Techniques Carmel Domshlak, Francesca Rossi, K. Brent Venable, Toby Walsh

IJCAI 2003 Scenario-Based Stochastic Constraint Programming Suresh Manandhar, Armagan Tarim, Toby Walsh

AAAI 2002 The Interface Between P and NP: COL, XOR, NAE, 1-in-K, and Horn SAT Toby Walsh

IJCAI 2001 Backbones in Optimization and Approximation John K. Slaney, Toby Walsh

IJCAI 2001 Search on High Degree Graphs Toby Walsh

ICML 2000 Automatic Identification of Mathematical Concepts Simon Colton, Alan Bundy, Toby Walsh

AAAI 2000 Automatic Invention of Integer Sequences Simon Colton, Alan Bundy, Toby Walsh

AAAI 2000 Using Auxiliary Variables and Implied Constraints to Model Non-Binary Problems Barbara M. Smith, Kostas Stergiou, Toby Walsh

IJCAI 1999 Automatic Concept Formation in Pure Mathematics Simon Colton, Alan Bundy, Toby Walsh

AAAI 1999 Beyond NP: The QSAT Phase Transition Ian P. Gent, Toby Walsh

AAAI 1999 Encodings of Non-Binary Constraint Satisfaction Problems Kostas Stergiou, Toby Walsh

AAAI 1999 Morphing: Combining Structure and Randomness Ian P. Gent, Holger H. Hoos, Patrick Prosser, Toby Walsh

IJCAI 1999 Search in a Small World Toby Walsh

IJCAI 1999 The Difference All-Difference Makes Kostas Stergiou, Toby Walsh

AAAI 1998 The Constrainedness Knife-Edge Toby Walsh

IJCAI 1997 Depth-Bounded Discrepancy Search Toby Walsh

IJCAI 1997 From Approximate to Optimal Solutions: Constructing Pruning and Propagation Rules Ian P. Gent, Toby Walsh

AAAI 1997 The Scaling of Search Cost Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh

JAIR 1996 A Divergence Critic for Inductive Proof Toby Walsh

AAAI 1996 Computing Abstraction Hierarchies by Numerical Simulation Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh

AAAI 1996 The Constrainedness of Search Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh

JAIR 1993 An Empirical Analysis of Search in GSAT Ian P. Gent, Toby Walsh

IJCAI 1993 Difference Unification David A. Basin, Toby Walsh

AAAI 1993 Towards an Understanding of Hill-Climbing Procedures for SAT Ian P. Gent, Toby Walsh

IJCAI 1989 Abstract Theorem Proving Fausto Giunchiglia, Toby Walsh