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, to appear, 2008.

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.

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.

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.