@article{hnich:Hybrid,
  author = "Hnich, B. and Kiziltan, Z. and Miguel, I. and Walsh, T.",
  title = "Hybrid Modelling for Robust Solving",
  journal = "Annals of Operations Research (to appear)",
  year = 2004}

@article{hnich:Perm,
  author = "Hnich, B. and Smith, B.M. and Walsh, T.",
  title = "Models of Permutation and Injection Problems",
  journal = "Journal of Artificial Intelligence Research (JAIR, to appear)",
  year = 2004}

@inproceedings{drake:Interaction,
  author = "Drake, L. and Frisch, A.M.",
  title = "The Interaction Between Inference and Branching Heuristics",
  booktitle = "Proceedings the International Conference on Theory and
               Applications of Satisfiability Testing, Springer Lecture
               Notes in Computer Science series 2919 (to appear)",
  editor = "Giunchiglia, A. and Tacchella, A.",
  year = 2004}

@inproceedings{hnich:LexSum,
  author = "Hnich, B. and Kiziltan, Z. and Walsh, T.",
  title = "Combining Symmetry-breaking with Other Constraints: Lexicographic
           Ordering with Sums",
  booktitle = "Proceedings the Eighth International Symposium on Artificial
               Intelligence and Mathematics (to appear)",
  year = 2004}

@inproceedings{bessiere:Local,
  author = "Bessiere, C. and Hebrard, E. and Walsh, T.",
  title = "Local Consistencies in {SAT}",
  booktitle = "Proceedings the Sixth International Conference on Theory and
               Applications of Satisfiability Testing (SAT)",
  year = 2003}

@inproceedings{frisch:AllPerm,
  author = "Frisch, A.M. and Jefferson, C. and Miguel, I.",
  title = "Constraints for Breaking More Row and Column Symmetries",
  booktitle = "Proceedings of the Ninth International Conference on
               Principles and Practice of Constraint Programming
               LNCS 2833",
  editor = "Rossi, F.",
  pages = {318--332},
  year = 2003}

@inproceedings{frisch:Multiset,
  author = "Frisch, A.M. and Miguel, I. and Kiziltan, Z. and Hnich, B.
            and Walsh, T.",
  title = "Multiset Ordering Constraints",
  booktitle = "Proceedings of the Eighteenth International Joint Conference
               on Artificial Intelligence",
  editor = "Gottlob, G.",
  pages = {318--332},
  year = 2003}

@inproceedings{walsh:Patterns,
  author = "Walsh, T.",
  title = "Constraint Patterns",
  booktitle = "Proceedings of the Ninth International Conference on
               Principles and Practice of Constraint Programming",
  editor = "Rossi, F.",
  pages = {53--64},
  year = 2003}

@inproceedings{flener:CP02Matrix,
  author = "Flener, P. and Frisch, A.M. and Hnich, B. and
            Kiziltan, Z. and Miguel, I. and Pearson, J. 
            and Walsh, T.",
  title = "Breaking Row and Column Symmetries in Matrix Models",
  booktitle = "Proceedings of the Eighth International Conference on
               Principles and Practice of Constraint Programming",
  editor = "van Hentenryck, P.",
  pages = {462--476},
  year = 2002}

@inproceedings{frisch:GACLex,
  author = "Frisch, A.M. and Hnich, B. and Kiziltan, Z. and Miguel, I.
            and Walsh, T.",
  title = "Global Constraints for Lexicographic Orderings",
  booktitle = "Proceedings of the Eighth International Conference on
               Principles and Practice of Constraint Programming",
  editor = "van Hentenryck, P.",
  pages = {93--108},
  year = 2002}

@inproceedings{colton:CGen,
  author = "Colton, S. and Miguel, I.",
  title = "Constraint Generation via Automated Theory Formation",
  booktitle = "Proceedings of the Seventh International Conference on
               Principles and Practice of Constraint Programming",
  editor = "Walsh, T.",
  pages = {575--579},
  year = 2001}

@inproceedings{frisch.miguel.ea:extensions,
         title = "Extensions to Proof Planning for Generating Implied Constraints",
         author = "A M Frisch and I Miguel and T Walsh",
         booktitle = "Proceedings of Calculemus-01", 
         pages = {130-141}, 
         year = 2001
         }

@InProceedings{bakewell:CPReform03,
  author = "Bakewell, A. and Frisch, A.M. and Miguel, I.",
  title = "Towards Automatic Modelling of Constraint Satisfaction
           Problems: A System Based on Compositional Refinement",
  booktitle = "Proceedings of the Second International Workshop on Modelling
               and Reformulating Constraint Satisfaction Problems",
  editor = "Frisch, A.M.",
  year = 2003,
  pages = {2--17}}

@InProceedings{Flener:Overview,
  author = "Flener, P. and Frisch, A.M. and Hnich, B. and Jefferson, C.
            and Kiziltan, Z. and Miguel, I. and Pearson, J. and Walsh, T.",
  title = "Breaking Symmetries in Matrix Models: A Brief Overview",
  booktitle = "Proceedings of the Tenth Workshop on Automated Reasoning",
  year = 2003,
  pages = {27--28}}

@InProceedings{Frisch+Harvey/03/Constraints,
  author =       {Alan M. Frisch and Warwick Harvey},
  title =        {Constraints for Breaking All Row and Column Symmetries
                  in a Three-by-Two Matrix},
  booktitle =    {Proceedings of the Third International Workshop on
Symmetry in 
                     Constraint Satisfaction Problems", },
  year =         2003,
  month =        {September}
}

@InProceedings{frisch:RefineARW,
  author = "Frisch, A.M. and Miguel, I. and Walsh, T.",
  title = "Refining Abstract Specifications of Constraint Satisfaction
           Problems",
  booktitle = "Proceedings of the Tenth Workshop on Automated Reasoning",
  year = 2003,
  pages = {29--31}}

@InProceedings{jefferson:Solitaire,
  author = "Jefferson, C. and Miguel, A. and Miguel, I. and Tarim, A.",
  title = "Modelling and Solving English Peg Solitaire",
  booktitle = "Proceedings of the Fifth International Workshop on
               Integration of AI and OR Techniques in Constraint
               Programming for Combinatorial Optimization Problems
               (CPAIOR)",
  year = 2003,
  pages = {261--275}}

@InProceedings{drake:SATReform,
  author = "Drake, L. and Frisch, A.M. and Gent, I. and Walsh, T.",
  title = "Automatically Reformulating SAT-Encoded CSPs",
  booktitle = "Proceedings of the International Workshop on
               Reformulating Constraint Satisfaction Problems",
  editor = "Frisch, A.M.",
  year = 2002,
  pages = {18--26}}

@inproceedings{drake:Doctoral02,
  author = "Drake, L. and Frisch, A.M. and Walsh, T.",
  title = "Automatic Generation of Implied Clauses for SAT",
  booktitle = "Proceedings of the Eighth International Conference on
               Principles and Practice of Constraint Programming
               (Doctoral Programme) LNCS 2470",
  editor = "van Hentenryck, P.",
  pages = {783},
  year = 2002}

@inproceedings{drake:AAAI02,
  author = "Drake, L. and Frisch, A.M. and Walsh, T.",
  title = "Combining Inference and Search for the Propositional
           Satisfiability Problem",
  booktitle = "Proceedings of the Eighteenth National Conference
               on Artificial Intelligence (Doctoral Consortium)",
  year = 2002}

@inproceedings{drake:SAT02,
  author = "Drake, L. and Frisch, A.M. and Walsh, T.",
  title = "Adding Resolution to the DPLL Procedure for Boolean Satisfiability",
  booktitle = "Proceedings of the Fifth International Symposium on the
               Theory and Applications of Satisfiability Testing (SAT)",
  year = 2002}

@inproceedings{drake:ARW02,
         title = "Comparing SAT Preprocessing Techniques",
         author = "Drake, L. and Frisch, A.M. and Walsh, T.",
         booktitle = "Proceedings of the Ninth Workshop on Automated
                      Reasoning",
         editor = "Walsh, T.",
         year = 2002}

@inproceedings{flener:Reform02,
         title = "Matrix Modelling: Exploiting Common Patterns in 
                  Constraint Programming",
         author = "Flener, P. and Frisch, A.M. and Hnich, B. and
                   Kiziltan, Z. and Miguel, I. and Walsh, T.",
         booktitle = "Proceedings of the International Workshop
                      on Reformulating Constraint Satisfaction Problems",
         editor = "Frisch, A.M.",
         pages = {27--41},
         year = 2002}

@inproceedings{frisch:Reform02,
         title = "Towards Model Reformulation at Multiple Levels of
                  Abstraction",
         author = "Frisch, A.M. and Hnich, B. and Miguel, I. and 
                   Smith, B.M. and Walsh, T.",
         booktitle = "Proceedings of the International Workshop
                      on Reformulating Constraint Satisfaction Problems",
         editor = "Frisch, A.M.",
         pages = {42--56},
         year = 2002}

@inproceedings{frisch:ARW02,
         title = "Automatically Transforming Constraint Satisfaction
                  Problems: Further Progress",
         author = "Frisch, A.M. and Miguel, I. and Walsh, T.",
         booktitle = "Proceedings of the Ninth Workshop on Automated
                      Reasoning",
         editor = "Walsh, T.",
         year = 2002}

@inproceedings{frisch:ERCIM02,
  author = "Frisch, A.M. and Miguel, I. and Walsh, T.",
  title = "CGRASS: A System for Transforming Constraint Satisfaction
           Problems",
  booktitle = "Proceedings of the Joint Workshop of ther ERCIM
Working Group on Constraints and the CologNet area on Constraint and
Logic Programming on Constraint Solving and Constraint Logic Programming
(LNAI 2627)",
  editor = "O'Sullivan, B.",
  pages = {15--30},
  year = 2002}

@inproceedings{hnich:BACP,
  title = "Modelling a Balanced Academic Curriculum Problem",
  author = "B. Hnich and Z. Kiziltan and T. Walsh",
  booktitle = "Proceedings of the Fourth International Workshop
on Integration of AI and OR Techniques in Constraint Programming for
Combinatorial Optimization Problems (CPAIOR)",
  pages = {121-131},
  year = 2002}

@inproceedings{colton.drake.ea:automatic,
         title = "Automatic Generation of Implied Constraints: Initial Progress",
         author = "S. Colton and L. Drake and A.M. Frisch and I. Miguel and T. Walsh", 
         booktitle = "Proceedings of the Eighth Workshop on Automated Reasoning", 
         pages = {17--18},
         year = 2001}

@inproceedings{drake:Doctoral01,
  author = "Drake, L. and Frisch, A.M. and Walsh, T.",
  title = "Automatic Generation of Implied Clauses for SAT",
  booktitle = "Proceedings of the Seventh International Conference on
               Principles and Practice of Constraint Programming",
  editor = "Walsh, T.",
  pages = {761},
  year = 2001}

@inproceedings{flener:MModelling,
  author = "Flener, P. and Frisch, A.M. and Hnich, B. and
            K{\i}z{\i}ltan, Z. and Miguel, I. and Walsh, T.",
  title = "Matrix Modelling",
  booktitle = "Proceedings of the CP'01 Workshop on
               Modelling and Problem Formulation",
  pages = {1--7},
  year = 2001}

@inproceedings{flener:SymMatrix,
  author = "Flener, P. and Frisch, A.M. and Hnich, B. and
            K{\i}z{\i}ltan, Z. and Miguel, I. and Pearson, J. and
            Walsh, T.",
  title = "Symmetry in Matrix Models",
  booktitle = "Proceedings of the CP'01 Workshop on Symmetry in
               Constraints",
  pages = {41--48},
  year = 2001}

@inproceedings{frisch.miguel.ea:generating,
         title = "Generating Implied Constraints via Proof Planning",
         author = "A M Frisch and I Miguel and T Walsh",
         booktitle = "Proceedings of the IJCAR-01 Workshop on Future Directions in Automated Reasoning",
         pages = {48-54},
         year = 2001
         }

@inproceedings{frisch.miguel.ea:modelling,
         title = "Modelling a Steel Mill Slab Design Problem",
         author = "A M Frisch and I Miguel and T Walsh",
         booktitle = "Proceedings of the IJCAI-01 Workshop on Modelling and Solving Problems with Constraints",
         pages = {39-45},
         year = 2001
         }

@inproceedings{frisch:SMillModelling,
  author = "Frisch, A.M. and Miguel, I. and Walsh, T.",
  title = "Symmetry and Implied Constraints in the Steel Mill Slab
           Design Problem",
  booktitle ="Proceedings of the CP'01 Workshop on Modelling and
              Problem Formulation",
  pages = {8--15},
  year =2001}

@inproceedings{frisch.walsh:automatic,
         title = "Automatic generation of implied constraints: project description", 
         author = "A M Frisch and T Walsh", 
         booktitle = "Seventh Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice", 
         year = 2000
         }

@techreport{frisch:APES75,
  author = "Frisch, A.M. and Martinez-Hernandez, B. and Miguel, I.",
  title = "Refining an Abstract Specification of the Golomb Ruler Problem",
  number = "APES-75-2003",
  institution = "APES Research Group",
  url = "http://www.dcs.st-and.ac.uk/~apes/reports/apes-75-2002.pdf",
  year = 2003}

@techreport{frisch:APES74,
  author = "Frisch, A.M. and Jefferson, C. and Miguel, I.",
  title = "Symmetry-breaking as a Prelude to Implied Constraints",
  number = "APES-74-2003",
  institution = "APES Research Group",
  url = "http://www.dcs.st-and.ac.uk/~apes/reports/apes-74-2002.pdf",
  year = 2003}

@techreport{apes-51,
       author= "Alan Frisch and Brahim Hnich and Zeynep Kiziltan and 
       Ian Miguel and Toby Walsh",
       month="September",
       year="2002",
       title="Global constraints for lexicographic orderings",
       number="APES-51-2002",
       institution = "APES Research Group",
       url= "http://www.dcs.st-and.ac.uk/~apes/reports/apes-51-2002.ps.gz",
       note= "Available from http://www.dcs.st-and.ac.uk/~apes/apesreports.html"
}

@techreport{apes-43,
       author= "Drake, L. and Frisch, A.M. and Walsh, T.",
       month="February",
       year="2002",
       title="Adding resolution to the DPLL procedure for Boolean satisfiability",
       number="APES-43-2002",
       institution = "APES Research Group",
       url= "http://www.dcs.st-and.ac.uk/~apes/reports/apes-43-2002.ps.gz",
       note= "Available from http://www.dcs.st-and.ac.uk/~apes/apesreports.html"
}

@techreport{apes-42,
       author= "Frisch, A.M. and Miguel, I. and Walsh, T.",
       month="January",
       year="2002",
       title="CGRASS: A System for Transforming Constraint Satisfaction
              Problems",
       number="APES-42-2002",
       institution = "APES Research Group",
       url= 
"http://www.dcs.st-and.ac.uk/~apes/reports/apes-42-2002.ps.gz",
       note= "Available from
http://www.dcs.st-and.ac.uk/~apes/apesreports.html"}