Publications (105)
Online Cake Cutting (published version)
Toby Walsh
Breaking Generator Symmetry
George Katsirelos, Nina Narodytska, Toby Walsh
Manipulating Tournaments in Cup and Round Robin Competitions
Tyrel Russell, Toby Walsh
Where are the really hard manipulation problems? The phase transition in manipulating the veto rule
Toby Walsh
Deceased Organ Matching in Australia
Toby Walsh
SLIDE: A Useful Special Case of the CARDPATH Constraint
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich +2
How Hard Is It to Control an Election by Breaking Ties?
Nicholas Mattei, Nina Narodytska, Toby Walsh
Filtering Algorithms for the Multiset Ordering Constraint
Alan Frisch, Brahim Hnich, Zeynep Kiziltan +2
Efficient Approximation of Well-Founded Justification and Well-Founded Domination (Corrected and Extended Version)
Christian Drescher, Toby Walsh
Parliamentary Voting Procedures: Agenda Control, Manipulation, and Uncertainty
Robert Bredereck, Jiehua Chen, Rolf Niedermeier +1
Is Computational Complexity a Barrier to Manipulation?
Toby Walsh
Manipulation and gender neutrality in stable marriage procedures
Maria Pini, Francesca Rossi, Brent Venable +1
Restricted Global Grammar Constraints
George Katsirelos, Sebastian Maneth, Nina Narodytska +1
Empirical Evaluation of Real World Tournaments
Nicholas Mattei, Toby Walsh
Equilibria Under the Probabilistic Serial Rule
Haris Aziz, Serge Gaspers, Simon Mackenzie +3
Complexity of Terminating Preference Elicitation
Toby Walsh
Generating Single Peaked Votes
Toby Walsh
Symmetry within and between solutions
Toby Walsh
An Empirical Study of Borda Manipulation
Jessica Davies, George Katsirelos, Nina Narodystka +1
H-Index Manipulation by Merging Articles: Models, Theory, and Experiments
René van Bevern, Christian Komusiewicz, Rolf Niedermeier +2
Symmetry-breaking Answer Set Solving
Christian Drescher, Oana Tifrea, Toby Walsh
Local search for stable marriage problems with ties and incomplete lists
Mirco Gelain, Maria Silvia Pini, Francesca RossI +2
Computational Aspects of Multi-Winner Approval Voting
Haris Aziz, Serge Gaspers, Joachim Gudmundsson +3
Range and Roots: Two Common Patterns for Specifying and Propagating Counting and Occurrence Constraints
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich +2
Strategic aspects of the probabilistic serial rule for the allocation of goods
Haris Aziz, Serge Gaspers, Nick Mattei +2
Ethical Considerations in Artificial Intelligence Courses
Emanuelle Burton, Judy Goldsmith, Sven Koenig +3
Elicitation strategies for fuzzy constraint problems with missing preferences: algorithms and experimental studies
Mirco Gelain, Maria Pini, Francesca Rossi +2
Symmetry Breaking Constraints: Recent Results
Toby Walsh
Online Estimation of SAT Solving Runtime
Shai Haim, Toby Walsh
Online Fair Division: analysing a Food Bank problem
Martin Aleksandrov, Haris Aziz, Serge Gaspers +1
A Comparison of Lex Bounds for Multiset Variables in Constraint Programming
Yat-Chiu Law, Jimmy Ho-Man Lee, May Hiu-Chun Woo +1
Dominating Manipulations in Voting with Partial Information
Vincent Conitzer, Toby Walsh, Lirong Xia
Reformulating Global Grammar Constraints
George Katsirelos, Nina Narodytska, Toby Walsh
Symmetry Breaking Using Value Precedence
Toby Walsh
Breaking Value Symmetry
Toby Walsh
Decomposition of the NVALUE constraint
Christian Bessiere, George Katsirelos, Nina Narodytska +2
The Computational Impact of Partial Votes on Strategic Voting
Nina Narodytska, Toby Walsh
Strategyproof Peer Selection using Randomization, Partitioning, and Apportionment
Haris Aziz, Omer Lev, Nicholas Mattei +2
Allocation in Practice
Toby Walsh
The Weighted CFG Constraint
George Katsirelos, Nina Narodytska, Toby Walsh
Expert and Non-Expert Opinion about Technological Unemployment
Toby Walsh
Manipulability of Single Transferable Vote
Toby Walsh
A Translational Approach to Constraint Answer Set Solving
Christian Drescher, Toby Walsh
Scenario-based Stochastic Constraint Programming
Suresh Manandhar, Armagan Tarim, Toby Walsh
Decomposition of the NVALUE constraint
Christian Bessiere, George Katsirelos, Nina Narodytska +2
Coalitional Manipulation for Schulze's Rule
Serge Gaspers, Thomas Kalinowski, Nina Narodytska +1
The RegularGcc Matrix Constraint
Ronald de Haan, Nina Narodytska, Toby Walsh
Dealing with incomplete agents' preferences and an uncertain agenda in group decision making via sequential majority voting
Maria Pini, Francesca Rossi, Brent Venable +1
Online Cake Cutting
Toby Walsh
Eliminating the Weakest Link: Making Manipulation Intractable?
Jessica Davies, Nina Narodytska, Toby Walsh
Turing's Red Flag
Toby Walsh
Circuit Complexity and Decompositions of Global Constraints
Christian Bessiere, George Katsirelos, Nina Narodytska +1
The Singularity May Never Be Near
Toby Walsh
A Social Welfare Optimal Sequential Allocation Procedure
Thomas Kalinowski, Nina Nardoytska, Toby Walsh
On The Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry
George Katsirelos, Nina Narodytska, Toby Walsh
Symmetries of Symmetry Breaking Constraints
George Katsirelos, Toby Walsh
Algorithms for two variants of Satisfaction Approval Voting
Haris Aziz, Toby Walsh
Symmetry within Solutions
Marijn Heule, Toby Walsh
Parameterized Complexity Results in Symmetry Breaking
Toby Walsh
Propagating Conjunctions of AllDifferent Constraints
Christian Bessiere, George Katsirelos, Nina Narodytska +2
Restart Strategy Selection using Machine Learning Techniques
Shai Haim, Toby Walsh
Where are the hard manipulation problems?
Toby Walsh
Reformulation of Global Constraints in Answer Set Programming
Christian Drescher, Toby Walsh
Verifying Properties of Binarized Deep Neural Networks
Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk +2
Complexity of and Algorithms for Borda Manipulation
Jessica Davies, George Katsirelos, Nina Narodytska +1
Fair assignment of indivisible objects under ordinal preferences
Haris Aziz, Serge Gaspers, Simon Mackenzie +1
Three Generalizations of the FOCUS Constraint
Nina Narodytska, Thierry Petit, Mohamed Siala +1
The AllDifferent Constraint with Precedences
Christian Bessiere, Nina Narodytska, Claude-Guy Quimper +1
Decompositions of Grammar Constraints
Claude-Guy Quimper, Toby Walsh
Decompositions of All Different, Global Cardinality and Related Constraints
Christian Bessiere, George Katsirelos, Nina Narodytska +2
Possible and Necessary Winner Problem in Social Polls
Serge Gaspers, Victor Naroditskiy, Nina Narodytska +1
Translation-based Constraint Answer Set Solving
Christian Drescher, Toby Walsh
Approximation Algorithms for Max-Min Share Allocations of Indivisible Chores and Goods
Haris Aziz, Gerhard Rauchecker, Guido Schryen +1
Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques
Carmel Domshlak, Francesca Rossi, Kristen Brent Venable +1
Combining Voting Rules Together
Nina Narodytska, Toby Walsh, Lirong Xia
Symmetry Breaking for Distributed Multi-Context Systems
Christian Drescher, Thomas Eiter, Michael Fink +2
Symmetries of Symmetry Breaking Constraints
George Katsirelos, Toby Walsh
Combining Symmetry Breaking and Global Constraints
George Katsirelos, Nina Narodytska, Toby Walsh
Global SPACING Constraint (Technical Report)
Nina Narodytska, Peter Skocovsky, Toby Walsh
Possible and Necessary Allocations via Sequential Mechanisms
Haris Aziz, Toby Walsh, Lirong Xia
The Conference Paper Assignment Problem: Using Order Weighted Averages to Assign Indivisible Goods
Jing Wu Lian, Nicholas Mattei, Renee Noble +1
Justified Representation in Approval-Based Committee Voting
Haris Aziz, Markus Brill, Vincent Conitzer +3
An Empirical Study of the Manipulability of Single Transferable Voting
Toby Walsh
A Study of Proxies for Shapley Allocations of Transport Costs
Haris Aziz, Casey Cahan, Charles Gretton +3
Online Search Cost Estimation for SAT Solvers
Shai Haim, Toby Walsh
Stable marriage problems with quantitative preferences
Maria Silvia Pini, Francesca Rossi, Brent Venable +1
Tetravex is NP-complete
Yasuhiko Takenaga, Toby Walsh
Candy Crush is NP-hard
Toby Walsh
Manipulating the Probabilistic Serial Rule
Haris Aziz, Serge Gaspers, Simon Mackenzie +3
Improving the Performance of maxRPC
Thanasis Balafoutis, Anastasia Paparrizou, Kostas Stergiou +1
The PeerRank Method for Peer Assessment
Toby Walsh
Flow-Based Propagators for the SEQUENCE and Related Global Constraints
Michael J. Maher, Nina Narodytska, Claude-Guy Quimper +1
The Complexity of Reasoning with Global Constraints
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich +1
Breaking Value Symmetry
Toby Walsh
Welfare of Sequential Allocation Mechanisms for Indivisible Goods
Haris Aziz, Thomas Kalinowski, Toby Walsh +1
The SeqBin Constraint Revisited
George Katsirelos, Nina Narodytska, Toby Walsh
Breaking Symmetry with Different Orderings
Nina Narodytska, Toby Walsh
Restricted Manipulation in Iterative Voting: Convergence and Condorcet Efficiency
Umberto Grandi, Andrea Loreggia, Francesca Rossi +2
Multiset Ordering Constraints
Alan M. Frisch, Ian Miguel, Zeynep Kiziltan +2
Stochastic Constraint Programming: A Scenario-Based Approach
S. Armagan Tarim, Suresh Manandhar, Toby Walsh