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.