| 2025 | IJCAI | Distance Preservation Games. | Haris Aziz, Hau Chan, Patrick Lederer, Shivika Narang, Toby Walsh |
| 2025 | IJCAI | Equitable Mechanism Design for Facility Location. | Toby Walsh |
| 2025 | ICTAI | Multimodal Pathfinding with Personalized Travel Speed and Transfers of Unlimited Distance. | Andrii Rohovyi, Peter J. Stuckey, Toby Walsh |
| 2025 | MABS | Shifting Power: Leveraging LLMs to Simulate Human Aversion in ABMs of Bilateral Financial Exchanges, A Bond Market Study. | Alicia Vidler, Toby Walsh |
| 2024 | AAAI | Fair Lotteries for Participatory Budgeting. | Haris Aziz, Xinhang Lu, Mashbat Suzuki, Jeremy Vollen, Toby Walsh |
| 2024 | AAAI | Mixed Fair Division: A Survey. | Shengxin Liu, Xinhang Lu, Mashbat Suzuki, Toby Walsh |
| 2024 | ECAI | Mitigating Bias: Model Pruning for Enhanced Model Fairness and Efficiency. | Harsh Kasyap, Ugur-Ilker Atmaca, Michela Iezzi, Toby Walsh, Carsten Maple |
| 2024 | ECAI | Approximate Mechanism Design for Facility Location with Multiple Objectives. | Toby Walsh |
| 2024 | GECCO | Generative AI: why all the fuss? | Toby Walsh |
| 2024 | IJCAI | Mechanisms That Play a Game, Not Toss a Coin. | Toby Walsh |
| 2023 | AAAI | Fairness Concepts for Indivisible Items with Externalities. | Haris Aziz, Warut Suksompong, Zhaohong Sun, Toby Walsh |
| 2023 | SAGT | Maximin Fair Allocation of Indivisible Items Under Cost Utilities. | Sirin Botan, Angus Ritossa, Mashbat Suzuki, Toby Walsh |
| 2022 | IJCAI | Strategy Proof Mechanisms for Facility Location with Capacity Limits. | Toby Walsh |
| 2021 | IJCAI | Fair Pairwise Exchange among Groups. | Zhaohong Sun, Taiki Todo, Toby Walsh |
| 2021 | PRICAI | Strategy Proof Mechanisms for Facility Location at Limited Locations. | Toby Walsh |
| 2020 | AAAI | Facility Location Problem with Capacity Constraints: Algorithmic and Mechanism Design Perspectives. | Haris Aziz, Hau Chan, Barton Lee, Bo Li, Toby Walsh |
| 2020 | AAAI | Online Fair Division: A Survey. | Martin Aleksandrov, Toby Walsh |
| 2020 | ICLR | In Search for a SAT-friendly Binarized Neural Network Architecture. | Nina Narodytska, Hongce Zhang, Aarti Gupta, Toby Walsh |
| 2020 | IJCAI | Fair Division: The Computer Scientist's Perspective. | Toby Walsh |
| 2020 | KI | Two Algorithms for Additive and Fair Division of Mixed Manna. | Martin Aleksandrov, Toby Walsh |
| 2019 | EPIA | Fair Division Minimizing Inequality. | Martin Aleksandrov, Cunjing Ge, Toby Walsh |
| 2019 | IJCAI | Fair Allocation of Indivisible Goods and Chores. | Haris Aziz, Ioannis Caragiannis, Ayumi Igarashi, Toby Walsh |
| 2019 | IJCAI | 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 |
| 2019 | KI | Monotone and Online Fair Division. | Martin Aleksandrov, Toby Walsh |
| 2019 | PRICAI | Strategy-Proofness, Envy-Freeness and Pareto Efficiency in Online Fair Division with Additive Utilities. | Martin Aleksandrov, Toby Walsh |
| 2018 | AAAI | The Conference Paper Assignment Problem: Using Order Weighted Averages to Assign Indivisible Goods. | Jing Wu Lian, Nicholas Mattei, Renee Noble, Toby Walsh |
| 2018 | AAAI | Verifying Properties of Binarized Deep Neural Networks. | Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, Toby Walsh |
| 2018 | AIES | Fairness in Deceased Organ Matching. | Nicholas Mattei, Abdallah Saffidine, Toby Walsh |
| 2018 | KI | Group Envy Freeness and Group Pareto Efficiency in Fair Division with Indivisible Items. | Martin Aleksandrov, Toby Walsh |
| 2017 | AAAI | Algorithms for Max-Min Share Fair Allocation of Indivisible Chores. | Haris Aziz, Gerhard Rauchecker, Guido Schryen, Toby Walsh |
| 2017 | AAAI | The Meta-Turing Test. | Toby Walsh |
| 2017 | CPAIOR | A Local Search Approach for Incomplete Soft Constraint Problems: Experimental Results on Meeting Scheduling Problems. | Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh |
| 2017 | IJCAI | Pure Nash Equilibria in Online Fair Division. | Martin Aleksandrov, Toby Walsh |
| 2017 | IJCAI | Mechanisms for Online Organ Matching. | Nicholas Mattei, Abdallah Saffidine, Toby Walsh |
| 2017 | KI | Expected Outcomes and Manipulations in Online Fair Division. | Martin Aleksandrov, Toby Walsh |
| 2017 | KI | Most Competitive Mechanisms in Online Fair Division. | Martin Aleksandrov, Toby Walsh |
| 2016 | AAAI | Strategyproof Peer Selection: Mechanisms, Analyses, and Experiments. | Haris Aziz, Omer Lev, Nicholas Mattei, Jeffrey S. Rosenschein, Toby Walsh |
| 2016 | AAAI | Strategic Behaviour When Allocating Indivisible Goods. | Toby Walsh |
| 2016 | ECAI | Welfare of Sequential Allocation Mechanisms for Indivisible Goods. | Haris Aziz, Thomas Kalinowski, Toby Walsh, Lirong Xia |
| 2016 | ECAI | h-Index Manipulation by Undoing Merges. | Ren van Bevern, Christian Komusiewicz, Hendrik Molter, Rolf Niedermeier, Manuel Sorge, Toby Walsh |
| 2016 | IJCAI | Interdependent Scheduling Games. | Andrs Abeliuk, Haris Aziz, Gerardo Berbeglia, Serge Gaspers, Petr Kalina, Nicholas Mattei, Dominik Peters, Paul Stursberg, Pascal Van Hentenryck, Toby Walsh |
| 2016 | IJCAI | Control of Fair Division. | Haris Aziz, Ildik Schlotter, Toby Walsh |
| 2016 | IJCAI | Ranking Constraints. | Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Toby Walsh |
| 2015 | AAAI | Justified Representation in Approval-Based Committee Voting. | Haris Aziz, Markus Brill, Vincent Conitzer, Edith Elkind, Rupert Freeman, Toby Walsh |
| 2015 | AAAI | A Study of Proxies for Shapley Allocations of Transport Costs. | Haris Aziz, Casey Cahan, Charles Gretton, Philip Kilby, Nicholas Scott Mattei, Toby Walsh |
| 2015 | AAAI | Challenges in Resource and Cost Allocation. | Toby Walsh |
| 2015 | IJCAI | Online Fair Division: Analysing a Food Bank Problem. | Martin Aleksandrov, Haris Aziz, Serge Gaspers, Toby Walsh |
| 2015 | IJCAI | Equilibria Under the Probabilistic Serial Rule. | Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh |
| 2015 | IJCAI | Possible and Necessary Allocations via Sequential Mechanisms. | Haris Aziz, Toby Walsh, Lirong Xia |
| 2015 | IJCAI | Reasoning about Connectivity Constraints. | Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Toby Walsh |
| 2015 | IJCAI | H-Index Manipulation by Merging Articles: Models, Theory, and Experiments. | Ren van Bevern, Christian Komusiewicz, Rolf Niedermeier, Manuel Sorge, Toby Walsh |
| 2015 | IJCAI | Parliamentary Voting Procedures: Agenda Control, Manipulation, and Uncertainty. | Robert Bredereck, Jiehua Chen, Rolf Niedermeier, Toby Walsh |
| 2014 | AAAI | Computational Aspects of Multi-Winner Approval Voting. | Haris Aziz, Serge Gaspers, Joachim Gudmundsson, Simon Mackenzie, Nicholas Mattei, Toby Walsh |
| 2014 | AAAI | Fixing a Balanced Knockout Tournament. | Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Paul Stursberg, Toby Walsh |
| 2014 | AAAI | Fixing a Balanced Knockout Tournament. | Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Paul Stursberg, Toby Walsh |
| 2014 | AAAI | Justified Representation in Approval-Based Committee Voting. | Haris Aziz, Toby Walsh |
| 2014 | AAAI | Controlling Elections by Replacing Candidates: Theoretical and Experimental Results. | Andrea Loreggia, Nina Narodytska, Francesca Rossi, K. Brent Venable, Toby Walsh |
| 2014 | CP | The Balance Constraint Family. | Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, milie Picard-Cantin, Claude-Guy Quimper, Toby Walsh |
| 2014 | CPAIOR | SAT and Hybrid Models of the Car Sequencing Problem. | Christian Artigues, Emmanuel Hebrard, Valentin Mayer-Eichberger, Mohamed Siala, Toby Walsh |
| 2014 | CPAIOR | Buffered Resource Constraint: Algorithms and Complexity. | Christian Bessiere, Emmanuel Hebrard, Marc-Andr Mnard, Claude-Guy Quimper, Toby Walsh |
| 2014 | ECAI | How Hard Is It to Control an Election by Breaking Ties? | Nicholas Mattei, Nina Narodytska, Toby Walsh |
| 2014 | ECAI | The Computational Impact of Partial Votes on Strategic Voting. | Nina Narodytska, Toby Walsh |
| 2014 | ECAI | The PeerRank Method for Peer Assessment. | Toby Walsh |
| 2014 | KI | Allocation in Practice. | Toby Walsh |
| 2014 | PRICAI | Reasoning about Constraint Models. | Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Nina Narodytska, Toby Walsh |
| 2013 | AAAI | Ties Matter: Complexity of Manipulation when Tie-Breaking with a Random Vote. | Haris Aziz, Serge Gaspers, Nicholas Mattei, Nina Narodytska, Toby Walsh |
| 2013 | AAAI | Strategic Behavior when Allocating Indivisible Goods Sequentially. | Thomas Kalinowski, Nina Narodytska, Toby Walsh, Lirong Xia |
| 2013 | CP | Breaking Symmetry with Different Orderings. | Nina Narodytska, Toby Walsh |
| 2013 | CPAIOR | An Adaptive Model Restarts Heuristic. | Nina Narodytska, Toby Walsh |
| 2013 | IJCAI | Constraint Acquisition via Partial Queries. | Christian Bessiere, Remi Coletta, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
| 2013 | IJCAI | Detecting and Exploiting Subproblem Tractability. | Christian Bessiere, Clment Carbonnel, Emmanuel Hebrard, George Katsirelos, Toby Walsh |
| 2013 | IJCAI | On the Complexity of Global Scheduling Constraints under Structural Restrictions. | Geoffrey Chu, Serge Gaspers, Nina Narodytska, Andreas Schutt, Toby Walsh |
| 2013 | IJCAI | A Social Welfare Optimal Sequential Allocation Procedure. | Thomas Kalinowski, Nina Narodytska, Toby Walsh |
| 2013 | IJCAI | Three Generalizations of the FOCUS Constraint. | Nina Narodytska, Thierry Petit, Mohamed Siala, Toby Walsh |
| 2013 | LPNMR | Efficient Approximation of Well-Founded Justification and Well-Founded Domination. | Christian Drescher, Toby Walsh |
| 2013 | SAT | SAT Encodings for the Car Sequencing Problem. | Valentin Mayer-Eichberger, Toby Walsh |
| 2012 | AAAI | Eliminating the Weakest Link: Making Manipulation Intractable? | Jessica Davies, Nina Narodytska, Toby Walsh |
| 2012 | AAAI | Symmetry Breaking Constraints: Recent Results. | Toby Walsh |
| 2012 | AAMAS | Lot-based voting rules. | Toby Walsh, Lirong Xia |
| 2012 | CP | The SeqBin Constraint Revisited. | George Katsirelos, Nina Narodytska, Toby Walsh |
| 2012 | CP | A Hybrid MIP/CP Approach for Multi-activity Shift Scheduling. | Domenico Salvagnin, Toby Walsh |
| 2012 | ECAI | Combining Voting Rules Together. | Nina Narodytska, Toby Walsh, Lirong Xia |
| 2012 | ICLP | Answer Set Solving with Lazy Nogood Generation. | Christian Drescher, Toby Walsh |
| 2011 | AAAI | The Next Best Solution. | Ronen I. Brafman, Enrico Pilotto, Francesca Rossi, Domenico Salvagnin, Kristen Brent Venable, Toby Walsh |
| 2011 | AAAI | Dominating Manipulations in Voting with Partial Information. | Vincent Conitzer, Toby Walsh, Lirong Xia |
| 2011 | AAAI | Complexity of and Algorithms for Borda Manipulation. | Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh |
| 2011 | AAAI | Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation. | Christian Drescher, Toby Walsh |
| 2011 | AAAI | A Comparison of Lex Bounds for Multiset Variables in Constraint Programming. | Yat Chiu Law, Jimmy Ho-Man Lee, May Hiu-Chun Woo, Toby Walsh |
| 2011 | AAAI | Manipulation of Nanson's and Baldwin's Rules. | Nina Narodytska, Toby Walsh, Lirong Xia |
| 2011 | CPAIOR | The AllDifferent Constraint with Precedences. | Christian Bessiere, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
| 2011 | ICAART | A Local Search Approach to Solve Incomplete Fuzzy CSPs. | Mirco Gelain, Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh |
| 2011 | ICAART | Stability in Matching Problems with Weighted Preferences. | Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh |
| 2011 | ICAART | Stability and Optimality in Matching Problems with Weighted Preferences. | Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh |
| 2011 | ICLP | Modelling Grammar Constraints with Answer Set Programming. | Christian Drescher, Toby Walsh |
| 2011 | IJCAI | Translation-Based Constraint Answer Set Solving. | Christian Drescher, Toby Walsh |
| 2011 | ILP | Exploiting Constraints. | Toby Walsh |
| 2011 | LPNMR | Symmetry Breaking for Distributed Multi-Context Systems. | Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh |
| 2011 | TARK | Weights in stable marriage problems increase manipulation opportunities. | Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh |
| 2010 | AAAI | Propagating Conjunctions of AllDifferent Constraints. | Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
| 2010 | AAAI | Reformulation of Global Constraints in Answer Set Programming. | Christian Drescher, Toby Walsh |
| 2010 | AAAI | Symmetry in Solutions. | Marijn Heule, Toby Walsh |
| 2010 | CP | Improving the Performance of maxRPC. | Thanasis Balafoutis, Anastasia Paparrizou, Kostas Stergiou, Toby Walsh |
| 2010 | CP | Decomposition of the NValue Constraint. | Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
| 2010 | CP | On the Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry. | George Katsirelos, Nina Narodytska, Toby Walsh |
| 2010 | ECAI | Local search algorithms on the Stable Marriage Problem: Experimental Studies. | Mirco Gelain, Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh |
| 2010 | ECAI | Symmetries of Symmetry Breaking Constraints. | George Katsirelos, Toby Walsh |
| 2010 | ECAI | An Empirical Study of the Manipulability of Single Transferable Voting. | Toby Walsh |
| 2010 | KR | Finding the Next Solution in Constraint- and Preference-Based Knowledge Representation Formalisms. | Ronen I. Brafman, Francesca Rossi, Domenico Salvagnin, K. Brent Venable, Toby Walsh |
| 2010 | PRICAI | Local Search for Stable Marriage Problems with Ties and Incomplete Lists. | Mirco Gelain, Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh |
| 2010 | PRICAI | Symmetry within and between Solutions. | Toby Walsh |
| 2009 | CP | Restricted Global Grammar Constraints. | George Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh |
| 2009 | CPAIOR | Reformulating Global Grammar Constraints. | George Katsirelos, Nina Narodytska, Toby Walsh |
| 2009 | IJCAI | Decompositions of All Different, Global Cardinality and Related Constraints. | Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
| 2009 | IJCAI | Circuit Complexity and Decompositions of Global Constraints. | Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh |
| 2009 | IJCAI | Where Are the Really Hard Manipulation Problems? The Phase Transition in Manipulating the Veto Rule. | Toby Walsh |
| 2009 | SAT | Restart Strategy Selection Using Machine Learning Techniques. | Shai Haim, Toby Walsh |
| 2008 | AAAI | The Parameterized Complexity of Global Constraints. | Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Claude-Guy Quimper, Toby Walsh |
| 2008 | AAAI | Decompositions of Grammar Constraints. | Claude-Guy Quimper, Toby Walsh |
| 2008 | AAAI | Breaking Value Symmetry. | Toby Walsh |
| 2008 | CP | Elicitation Strategies for Fuzzy Constraint Problems with Missing Preferences: Algorithms and Experimental Studies. | Mirco Gelain, Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh |
| 2008 | CP | Flow-Based Propagators for the SEQUENCE and Related Global Constraints. | Michael J. Maher, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
| 2008 | CPAIOR | The Weighted CfgConstraint. | George Katsirelos, Nina Narodytska, Toby Walsh |
| 2008 | ECAI | SLIDE: A Useful Special Case of the CARDPATH Constraint. | Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh |
| 2008 | ISAIM | Complexity Issues in Preference Elicitation and Manipulation. | Toby Walsh |
| 2008 | KR | Dealing with Incomplete Agents' Preferences and an Uncertain Agenda in Group Decision Making via Sequential Majority Voting. | Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh |
| 2008 | SAT | Online Estimation of SAT Solving Runtime. | Shai Haim, Toby Walsh |
| 2007 | AAAI | Uncertainty in Preference Elicitation and Aggregation. | Toby Walsh |
| 2007 | CP | Encodings of the Sequence Constraint. | Sebastian Brand, Nina Narodytska, Claude-Guy Quimper, Peter J. Stuckey, Toby Walsh |
| 2007 | CP | A Compression Algorithm for Large Arity Extensional Constraints. | George Katsirelos, Toby Walsh |
| 2007 | CP | Breaking Symmetry of Interchangeable Variables and Values. | Yat Chiu Law, Jimmy Ho-Man Lee, Toby Walsh, J. Y. K. Yip |
| 2007 | CP | Decomposing Global Grammar Constraints. | Claude-Guy Quimper, Toby Walsh |
| 2007 | CP | Breaking Value Symmetry. | Toby Walsh |
| 2007 | IJCAI | Distance Constraints in Constraint Satisfaction. | Emmanuel Hebrard, Barry O'Sullivan, Toby Walsh |
| 2007 | IJCAI | Winner Determination in Sequential Majority Voting. | Jrme Lang, Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh |
| 2007 | IJCAI | Constraint and Variable Ordering Heuristics for Compiling Configuration Problems. | Nina Narodytska, Toby Walsh |
| 2007 | IJCAI | Incompleteness and Incomparability in Preference Aggregation. | Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh |
| 2006 | AAAI | Estimating Search Tree Size. | Philip Kilby, John K. Slaney, Sylvie Thibaux, Toby Walsh |
| 2006 | CP | The ROOTS Constraint. | Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh |
| 2006 | CP | Global Grammar Constraints. | Claude-Guy Quimper, Toby Walsh |
| 2006 | CP | General Symmetry Breaking Constraints. | Toby Walsh |
| 2006 | CPAIOR | The Range Constraint: Algorithms and Implementation. | Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh |
| 2006 | ECAI | Computing Possible and Necessary Winners from Incomplete Partially-Ordered Preferences. | Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh |
| 2006 | ECAI | Inverse Consistencies for Non-Binary Constraints. | Kostas Stergiou, Toby Walsh |
| 2006 | ECAI | Symmetry Breaking Using Value Precedence. | Toby Walsh |
| 2005 | AAAI | Finding Diverse and Similar Solutions in Constraint Programming. | Emmanuel Hebrard, Brahim Hnich, Barry O'Sullivan, Toby Walsh |
| 2005 | AAAI | Backbones and Backdoors in Satisfiability. | Philip Kilby, John K. Slaney, Sylvie Thibaux, Toby Walsh |
| 2005 | AAAI | Constraint-Based Preferential Optimization. | Steve Prestwich, Francesca Rossi, K. Brent Venable, Toby Walsh |
| 2005 | CP | Computing Super-Schedules. | Emmanuel Hebrard, Paul Tyler, Toby Walsh |
| 2005 | CP | Improved Algorithm for Finding (a, b)-Super Solutions. | Emmanuel Hebrard, Toby Walsh |
| 2005 | CP | Beyond Finite Domains: The All Different and Global Cardinality Constraints. | Claude-Guy Quimper, Toby Walsh |
| 2005 | CP | The G12 Project: Mapping Solver Independent Models to Efficient Solutions. | Peter J. Stuckey, Maria J. Garca de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh |
| 2005 | CPAIOR | Filtering Algorithms for the NValue Constraint. | Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh |
| 2005 | ICLP | The G12 Project: Mapping Solver Independent Models to Efficient Solutions. | Peter J. Stuckey, Maria J. Garca de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh |
| 2005 | IJCAI | Propagating Logical Combinations of Constraints. | Fahiem Bacchus, Toby Walsh |
| 2005 | IJCAI | The Range and Roots Constraints: Specifying Counting and Occurrence Problems. | Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh |
| 2005 | IJCAI | The Backbone of the Travelling Salesperson. | Philip Kilby, John K. Slaney, Toby Walsh |
| 2005 | TARK | Aggregating partially ordered preferences: impossibility and possibility results. | Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh |
| 2004 | AAAI | The Complexity of Global Constraints. | Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh |
| 2004 | AAAI | mCP Nets: Representing and Reasoning with Preferences of Multiple Agents. | Francesca Rossi, K. Brent Venable, Toby Walsh |
| 2004 | CP | Disjoint, Partition and Intersection Constraints for Set and Multiset Variables. | Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh |
| 2004 | CP | The Tractability of Global Constraints. | Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh |
| 2004 | CP | Solving Non-clausal Formulas with DPLL Search. | Christian Thiffault, Fahiem Bacchus, Toby Walsh |
| 2004 | CPAIOR | Super Solutions in Constraint Programming. | Emmanuel Hebrard, Brahim Hnich, Toby Walsh |
| 2004 | ECAI | Robust Solutions for Constraint Satisfaction and Optimization. | Emmanuel Hebrard, Brahim Hnich, Toby Walsh |
| 2004 | ISAIM | Combining Symmetry Breaking with Other Constraints: Lexicographic Ordering with Sums. | Brahim Hnich, Zeynep Kiziltan, Toby Walsh |
| 2004 | SAT | Solving Non-clausal Formulas with DPLL search. | Christian Thiffault, Fahiem Bacchus, Toby Walsh |
| 2003 | CP | Constraint Patterns. | Toby Walsh |
| 2003 | CP | Consistency and Propagation with Multiset Constraints: A Formal Viewpoint. | Toby Walsh |
| 2003 | IJCAI | Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques. | Carmel Domshlak, Francesca Rossi, K. Brent Venable, Toby Walsh |
| 2003 | IJCAI | Multiset Ordering Constraints. | Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh |
| 2003 | IJCAI | Scenario-based Stochastic Constraint Programming. | Suresh Manandhar, Armagan Tarim, Toby Walsh |
| 2003 | SAT | Local Consistencies in SAT. | Christian Bessire, Emmanuel Hebrard, Toby Walsh |
| 2002 | AAAI | The Interface between P and NP: COL, XOR, NAE, 1-in-k, and Horn SAT. | Toby Walsh |
| 2002 | CP | Automatic Generation of Implied Clauses for SAT. | Lyndon Drake, Alan M. Frisch, Toby Walsh |
| 2002 | CP | Breaking Row and Column Symmetries in Matrix Models. | Pierre Flener, Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Justin Pearson, Toby Walsh |
| 2002 | CP | Global Constraints for Lexicographic Orderings. | Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh |
| 2002 | CP | Models of Injection Problems. | Brahim Hnich, Toby Walsh |
| 2002 | ECAI | Stochastic Constraint Programming. | Toby Walsh |
| 2002 | FMCAD | A Fixpoint Based Encoding for Bounded Model Checking. | Alan M. Frisch, Daniel Sheridan, Toby Walsh |
| 2001 | IJCAI | Backbones in Optimization and Approximation. | John K. Slaney, Toby Walsh |
| 2001 | IJCAI | Search on High Degree Graphs. | Toby Walsh |
| 2001 | LPAR | Permutation Problems and Channelling Constraints. | Toby Walsh |
| 2000 | AAAI | Automatic Invention of Integer Sequences. | Simon Colton, Alan Bundy, Toby Walsh |
| 2000 | AAAI | Using Auxiliary Variables and Implied Constraints to Model Non-Binary Problems. | Barbara M. Smith, Kostas Stergiou, Toby Walsh |
| 2000 | CP | Singleton Consistencies. | Patrick Prosser, Kostas Stergiou, Toby Walsh |
| 2000 | CP | SAT v CSP. | Toby Walsh |
| 2000 | ICML | Automatic Identification of Mathematical Concepts. | Simon Colton, Alan Bundy, Toby Walsh |
| 1999 | AAAI | Morphing: Combining Structure and Randomness. | Ian P. Gent, Holger H. Hoos, Patrick Prosser, Toby Walsh |
| 1999 | AAAI | Beyond NP: the QSAT phase transition. | Ian P. Gent, Toby Walsh |
| 1999 | AAAI | Encodings of Non-Binary Constraint Satisfaction Problems. | Kostas Stergiou, Toby Walsh |
| 1999 | CP | CSP | Ian P. Gent, Toby Walsh |
| 1999 | IJCAI | Automatic Concept Formation in Pure Mathematics. | Simon Colton, Alan Bundy, Toby Walsh |
| 1999 | IJCAI | The Difference All-Difference Makes. | Kostas Stergiou, Toby Walsh |
| 1999 | IJCAI | Search in a Small World. | Toby Walsh |
| 1998 | AAAI | The Constrainedness Knife-Edge. | Toby Walsh |
| 1998 | CP | Random Constraint Satisfaction: Theory Meets Practice. | Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh |
| 1998 | ECAI | Interleaved and Discrepancy Based Search. | Pedro Meseguer, Toby Walsh |
| 1997 | AAAI | The Scaling of Search Cost. | Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh |
| 1997 | CP | The Constrainedness of Arc Consistency. | Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh |
| 1997 | IJCAI | From Approximate to Optimal Solutions: Constructing Pruning and Propagation Rules. | Ian P. Gent, Toby Walsh |
| 1997 | IJCAI | Depth-bounded Discrepancy Search. | Toby Walsh |
| 1996 | AAAI | Computing Abstraction Hierarchies by Numerical Simulation. | Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh |
| 1996 | AAAI | The Constrainedness of Search. | Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh |
| 1996 | AI | A General Purpose Reasoner for Abstraction. | Fausto Giunchiglia, Roberto Sebastiani, Adolfo Villafiorita, Toby Walsh |
| 1996 | CP | Local Search and the Number of Solutions. | David A. Clark, Jeremy Frank, Ian P. Gent, Ewan MacIntyre, Neven Tomov, Toby Walsh |
| 1996 | CP | An Empirical Study of Dynamic Variable Ordering Heuristics for the Constraint Satisfaction Problem. | Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh |
| 1996 | ECAI | Phase Transitions and Annealed Theories: Number Partitioning as a Case Study. | Ian P. Gent, Toby Walsh |
| 1995 | CP | Scaling Effects in the CSP Phase Transition. | Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh |
| 1994 | CADE | Termination Orderings for Rippling. | David A. Basin, Toby Walsh |
| 1994 | CADE | A Divergence Critic. | Toby Walsh |
| 1994 | ECAI | The SAT Phase Transition. | Ian P. Gent, Toby Walsh |
| 1994 | ECAI | Coloured Rippling: An Extension of a Theorem Proving Heuristic. | Tetsuya Yoshida, Alan Bundy, Ian Green, Toby Walsh, David A. Basin |
| 1994 | KI | The Hardest Random SAT Problems. | Ian P. Gent, Toby Walsh |
| 1993 | AAAI | Towards an Understanding of Hill-Climbing Procedures for SAT. | Ian P. Gent, Toby Walsh |
| 1993 | IJCAI | Difference Unification. | David A. Basin, Toby Walsh |
| 1992 | CADE | Difference Matching. | David A. Basin, Toby Walsh |
| 1992 | CADE | The Use of Proof Plans to Sum Series. | Toby Walsh, Alex Nunes, Alan Bundy |
| 1992 | ECAI | Tree Subsumption: Reasoning with Outlines. | Fausto Giunchiglia, Toby Walsh |
| 1989 | IJCAI | Abstract Theorem Proving. | Fausto Giunchiglia, Toby Walsh |