home
personal
research
publications
activities
teaching
people

 

Books | Journals | Conferences | Workshops | Reports

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.

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.

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.