- Symmetry in Constraint Programming, at the
Research School of Information Science and Engineering,
Australia National University, December 2003.
- Constraint Patterns, at the 9th International Conference on
Principles and Practice of Constraint Programming, September 2003.
-
Inference and Search for the Propositional Satisfiability Problem,
at the
Department of Computer Science,
University of Wales, Swansea, 1 July, 2003.
-
Local Consistencies in SAT, at the
Department of Computer Science,
University of Wales, Swansea, June, 2003.
- Symmetry in CP, at the
Constraint Programming, Belief Revision and Combinatorial Optimisation
Workshop, Banff International Research Station, May 2003.
- Modelling and Solving English Peg
Solitaire (MS Powerpoint), at the
5th International Workshop on on Integration of AI and OR Techniques
in Constraint Programming for Combinatorial Optimization Problems
(CPAIOR), on 10th May 2003.
-
The Interaction Between Inference and Branching Heuristics, at the
6th International Conference on the Theory and Applications of Satisfiability
Testing, May 2003.
- Lexicographic Orderings for Global
Constraints (MS Powerpoint), at the
8th International Conference on Principles and Practice of
Constraint Programming, on 12 September 2002.
- Using Inference to Improve
Search on SAT Problems (PDF), at the
8th International Conference on Principles and Practice of
Constraint Programming, September 2002.
-
Towards CSP Model Reformulation at Multiple Levels of Abstraction
(MS Powerpoint), at the International
Workshop on Reformulating Constraint Satisfaction Problems, on 8
September 2002.
- Automatically Reformulating
SAT-encoded CSPs (PDF), at the
International Workshop on Reformulating Constraint Satisfaction Problems,
on 8 September 2002.
- Using Inference to Improve Search on
SAT Problems (PDF), at the
18th National Conference on Artificial Intelligence, July 2002.
-
Adding Resolution to the DPLL Procedure for Boolean Satisfiability, at the
5th International Symposium on the Theory and Applications of Satisfiability
Testing, May 2002.
- Modelling a Balanced Academic Curriculum Problem, at the
Fourth International Workshop on Integration of AI and OR Techniques
in Constraint Programming for Combinatorial Optimization Problems
(CPAIOR), March 2002.
- CGRASS: A System for Transforming
Constraint Satisfaction Problems (MS Powerpoint), at the
ERCIM/Colognet Workshop on Constraint Solving and Constraint Logic
Programming, on 19 June 2002.
- Constraint Programming for the Masses (MS Powerpoint), at the
School of Computing, University
of Leeds on 6 June 2002.
-
Using Inference to Improve Search on SAT Problems", at the
Department of Computer Science, University of Auckland, New Zealand,
31 May, 2002.
-
Breaking Symmetry in Matrix Models of Constraint Satisfaction
Problems (MS Powerpoint), at the
Department of Mathematics and
Computer Science, University of Leicester on 17 May 2002.
- Matrix Modelling (MS Powerpoint), at
the Department of
Mathematics, University of Padova
on 19 April 2002.
- Automatically Transforming Constraint
Satisfaction Problems: Further Progress (MS Powerpoint), at the
9th Workshop on Automated Reasoning
on 3 April 2002.
- CGRASS: A System for Transforming Constraint
Satisfaction Problems (MS Powerpoint), at the
Cork Constraint Computation Centre
on 28 February 2002.
- Combining Inference
with Search for SAT (PDF), at the
SAT Group, INESC, Informatics
Department at Instituto Superior Technico, Universidade Tecnica de
Lisboa on 18 February 2002.
- Reducing Symmetry in Matrix
Models (MS Powerpoint), at the CP'01 Workshop on
Symmetry in Constraints on 1 December 2001.
- Matrix Modelling (for,
against - both MS Powerpoint), at the
CP'01 Workshop on
Modelling and Problem Formulation on 1 December 2001.
- Automatic Generation of Implied Clauses
for SAT (pdf and poster pages 1,
2,
3,
4), at the Seventh International
Conference on Principles and Practice of Constraint Programming on
27 November 2001.
- Constraint Generation via Automated Theory
Formation, at the Seventh International Conference on Principles and Practice of Constraint Programming
on 27 November 2001.
- Automatic Generation of Implied Constraints via Proof Planning, and
Matrix Modelling (MS Powerpoint), at the Department of Computer Science, University College Cork on 22 October 2001.
- Symmetry as a Prelude to Implied Constraints (MS Powerpoint), at the School of Computer Science, University of
St Andrews on 18 September 2001.
- Reducing Symmetry in Matrix Models
(MS Powerpoint), at the School of Computer Science, University of St Andrews on 17 September 2001.
- Modelling a Steel Mill Slab Design Problem (MS Powerpoint), at The Seventeenth International Conference on Artificial Intelligence, Joint Workshop on Modelling and Solving Problems with Constraints, Seattle, Washington, USA, on 6 August 2001
- Modelling a Steel Mill Slab Design Problem (MS Powerpoint), at IBM Thomas J. Watson Research Center, Yorktown Heights, Westchester County, New York USA, on 2 August 2001.
- Extensions to Proof Planning for Generating Implied Constraints (MS Powerpoint), at the 9th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus-01), on 22 June 2001.
- Generating Implied Constraints via Proof Planning (MS Powerpoint), at the IJCAR-01 Workshop on Future Directions in Automated Reasoning, on 18 june 2001.
- Permutation Problems and Channelling Constraints (MS Powerpoint), at the Swedish Institute of Computer Science, on 29 May 2001. Abstract.
- Modelling a Steel Mill Slab Design Problem (MS Powerpoint), at the Swedish Institute of Computer Science, on 29 May 2001. Abstract.
- Permutation Problems and Channelling Constraints (MS Powerpoint), at Uppsala University, 23 May 2001. Abstract.
- Extensions to Proof Planning for Generating Implied Constraints (MS Powerpoint), at Uppsala University, 23 May 2001, Abstract
- Modelling a Steel Mill Slab Design Problem (MS Powerpoint), at the University of Aberdeen Constraints Group, on 30 April 2001.
- Generating Implied Constraints via Proof Planning (MS Powerpoint), at CIAO 2001, 5-6 April 2001, University of Genova Genova, Italy. Abstract
- Automatic generation of implied constraints: project description at the Seventh Workshop on Automated Reasoning King's College London, 20-21 July 2000