home
personal
research
publications
activities
teaching
people

Manipulability of Single Transferable Vote
(pdf)
T. Walsh.
Proceedings of the CARE'09
International
Workshop on
Collaborative Agents  REsearch and Development, Melbourne 2009.
Decomposition of the NVALUE Constraint
(pdf)
C. Bessiere, G. Katsirelos, N. Narodytska, C.G. Quimper and T. Walsh.
Proceedings of the CP'09
Eighth International
Workshop on Constraint Modelling and Reformulation , Lisbon 2009.
Symmetries of Symmetry Breaking Constraints
(pdf)
G. Katsirelos and T. Walsh.
Proceedings of the CP'09
Ninth International Workshop on Symmetry
in Constraint Satisfaction Problems, Lisbon 2009.
Breaking Generator Symmetry
(pdf)
G. Katsirelos, N. Narodytska and T. Walsh.
Proceedings of the CP'09
Ninth International Workshop on Symmetry
in Constraint Satisfaction Problems, Lisbon 2009.
Two Encodings of DNNF Theories
(pdf)
J.C. Jung, P. Barahona, G. Katsirelos and T. Walsh.
Proceedings of the ECAI'08
Workshop on Inference methods based on Graphical Structures of Knowledge,
Patras 2008.
Symmetry in Constraint Optimization
(pdf,
legal ps,
letter ps)
T. Walsh.
Proceedings of the CP'07
Seventh International Workshop on Symmetry
in Constraint Satisfaction Problems, Providence 2007.
Breaking Value Symmetry
(pdf,
legal ps,
letter ps)
T. Walsh.
Proceedings of the CP'07
Seventh International Workshop on Symmetry
in Constraint Satisfaction Problems, Providence 2007.
Improved Algorithm for Finding (a,b)super solutions
(pdf,
legal ps,
letter ps)
E. Hebrard, B. Hnich and T. Walsh.
Proceedings of Workshop on Constraint Programming
for Planning and Scheduling CPPS'05, held along side
ICAPS'05, June 2005,
Monterey, California.
Constrained CPnets
(pdf,
legal ps,
letter ps)
S. Prestwich, F. Rossi, K. Venable and T. Walsh.
Proceedings of the Joint Annual Workshop of ERCIM/CoLogNet on
Constraint Solving and Constraint Logic Programming (CSCLP'04)
Lausanne, 2004.
Transforming and Refining Abstract Constraint Specifications
(pdf,
legal ps,
letter ps)
A. Frisch, B. Hnich, I. Miguel, B. Smith and T. Walsh.
Proceedings of the Joint Annual Workshop of ERCIM/CoLogNet on
Constraint Solving and Constraint Logic Programming (CSCLP'04)
Lausanne, 2004.
Why Channel? Multiple viewpoints for branching heuristics
(pdf,
legal ps,
letter ps)
B. Hnich and T. Walsh.
Proceedings of the CP'03
Second International Workshop on Modelling
and Reformulating Constraint Satisfaction Problems: Towards Systematisation and Automation, Kinsale 2003.
Combining Symmetry Breaking
with Other Constraints: lexicographic ordering with sums
(pdf,
legal ps,
letter ps)
B. Hnich, Z. Kiziltan, and T. Walsh.
Proceedings of the CP'03
Third International Workshop on Symmetry
in Constraint Satisfaction Problems, Kinsale 2003.
Super CSPs
(pdf,
legal ps,
letter ps)
E. Hebrard, B. Hnich, and T. Walsh.
Proceedings of the CP'03
Workshop on
Online Constraint Solving: Handling Change and Uncertainty, Kinsale 2003.
Automatically reformulation SATencoded CSPs
(pdf,
legal ps,
letter ps)
L. Drake, A.M. Frisch, I.P. Gent and T. Walsh.
Proceedings of the
International
Workshop on Reformulating Constraint Satisfaction Problems,
held alongside CP2002, Cornell, 2002.
Matrix Modelling: Exploiting Common Patterns in Constraint Programming
(pdf,
legal ps,
letter ps)
P. Flener, A.M. Frisch, B. Hnich, Z. Kiziltan, I. Miguel and T. Walsh.
Proceedings of the
International
Workshop on Reformulating Constraint Satisfaction Problems,
held alongside CP2002, Cornell, 2002.
Towards Model Reformulation at Multiple Levels of Abstraction
(pdf,
legal ps,
letter ps)
A.M. Frisch, B. Hnich, I. Miguel, B.M. Smith and T. Walsh.
Proceedings of the
International
Workshop on Reformulating Constraint Satisfaction Problems,
held alongside CP2002, Cornell, 2002.
Constraint Programming with Multisets
(pdf,
legal ps,
letter ps)
Z. Kiziltan, T. Walsh.
Proceedings of the
2nd
International Workshop on Symmetry in Constraint Satisfaction Problems
(SymCon02), held alongside CP2002, Cornell, 2002.
CPnetworks: semantics, complexity, approximations and extensions
(pdf,
legal ps,
letter ps)
F. Rossi, K.B. Venable, T. Walsh.
Proceedings of the
4th
International Workshop on Soft Constraints
(Soft02), held alongside CP2002, Cornell, 2002.
2+pCOL
(pdf,
legal ps,
letter ps)
T. Walsh.
Proceedings of the
Computational
Symposium on Graph Coloring and its Generalizations, held alongside CP2002, Cornell, 2002.
Stochastic OPL
(pdf,
legal ps,
letter ps)
T. Walsh.
Proceedings of the Workshop on
Modelling and Solving with Constraints,
held alongside ECAI2002, Lyon, 2002.
CGRASS: A System for Transforming Constraint Satisfaction Problems
(pdf,
legal ps,
letter ps)
A. Frisch, I. Miguel and T. Walsh.
Proceedings of the
ERCIM/CologNet Workshop on Constraint Solving and CLP,
2002.
Matrix Modelling
(pdf)
P. Flener, A. Frisch, B. Hnich, Z. Kiziltan, I. Miguel and T. Walsh.
Proceedings of the CP2001
Workshop on Modelling and Problem Formulation
(Formul'01), 2001.
Symmetry in Matrix Models
(pdf)
P. Flener, A. Frisch, B. Hnich, Z. Kiziltan, I. Miguel, J. Pearson
and T. Walsh.
Proceedings of the CP2001
Workshop on Symmetry in Constraints
(SymCon'01), 2001.
Symmetry and Implied Constraints in the Steel Mill Slab Design Problem
(pdf)
A. Frisch, I. Miguel and T. Walsh.
Proceedings of the CP2001
Workshop on Modelling and Problem Formulation
(Formul'01), 2001.
Stochastic Constraint Programming
(pdf)
T. Walsh.
Proceedings of the CP2001
Workshop on Constraints and Uncertainty
2001,
and
AAAI Fall Symposium on
Using Uncertainty within Computation,
2001.
Extensions to Proof Planning for Generating Implied Constraints
(pdf)
A. Frisch, I. Miguel and T. Walsh,
Proceedings of
Calculemus2001,
2001.
Generating Implied Constraints via Proof Planning
(pdf)
A. Frisch, I. Miguel and T. Walsh,
Proceedings of
IJCAR
workshop on
Future Directions in Automated Reasoning,
2001.
Permutation Problems and Channelling Constraints
T. Walsh.
Proceedings of the IJCAI2001 Workshop on Modelling and Solving Problems with Constraints, 2001. (pdf, long powerpoint slides,
short powerpoint slides)
CSPLib: a status report
T. Walsh.
Proceedings of the IJCAI2001 workshop on Empirical Methods in AI, 2001.
Agent Based Cooperative Theory Formation in Pure Mathematics
S. Colton, A. Bundy and T. Walsh. AISB00 symposium on
Creative & Cultural Aspects and Applications of AI & Cognitive
Science, Birmingham, 2000.
Cross Domain Mathematical Concept Formation
G. Steel, S. Colton, A. Bundy and T. Walsh,
AISB00 symposium on
Creative & Cultural Aspects and Applications of AI & Cognitive
Science, Birmingham 2000.
Constraint Patterns: A Research Proposal
T. Walsh.
Proceedings of the ECAI2000 workshop on Modelling, 2000.
The Limits of Modelbased Discovery?
T. Walsh.
Proceedings of the Machine Intelligence (MI17) workshop, 2000.
Some Compexity and Correctness Results for Proof Planning
T. Walsh.
Proceedings of the CADE17 workshop on induction, 2000.
Proof Planning in Maple
T. Walsh.
Proceedings of the CADE17 workshop on
Automated Deduction in the Context of Mathematics, 2000.
Modelling the Golomb Ruler Problem
Barbara Smith, Kostas Stergiou, and Toby Walsh.
Proceedings of the IJCAI99 workshop on nonbinary constraints, 1999.
Automated Discovery in Pure Mathematics
S. Colton, A. Bundy and T. Walsh.
Proceedings of the ECAI98 workshop on machine discovery, 1998.
Arc Consistency and Quasigroup Completion
Paul Shaw, Kostas Stergiou, and Toby Walsh.
Proceedings of the ECAI98 workshop on nonbinary constraints, 1998.

