Publications for Ian Miguel

Book

flash.gif (995 bytes) I. Miguel. Dynamic Flexible Constraint Satisfaction and its Application to AI Planning. Springer Distinguished Dissertations Series, 2004.

Edited Proceedings

flash.gif (995 bytes) I. Miguel, W. Ruml. Proceedings of the Seventh International Symposium on Abstraction, Reformulation and Approximation, Whistler, Canada, Springer LNCS 4612, 2007.
flash.gif (995 bytes) I. Miguel, S. Prestwich. Proceedings of the Fifth International Workshop on Constraint Modelling and Reformulation, Nantes, France, 2006.
flash.gif (995 bytes) A.M. Frisch, I. Miguel. Proceedings of the Third International Workshop on Modelling and Reformulating Constraint Satisfaction Problems, Toronto, Canada, 2004.

Edited Special Issue

flash.gif (995 bytes) A.M. Frisch, I. Miguel. Special Issue on Abstraction and Automation in Constraint Modelling, Constraints 13 (3), 2008

Book Chapter

flash.gif (995 bytes) I. Miguel, S. Prestwich (eds). Constraint Modelling and Reformulation. In F. Benhamou, N. Jussien, B. O'Sullivan (eds), Trends in Constraint Programming, iSTE, 2007.
flash.gif (995 bytes) K.N. Brown, I. Miguel. Uncertainty and Change. in F. Rossi, P. van Beek, T. Walsh (eds), The Handbook of Constraint Programming, 2006.

Journals

flash.gif (995 bytes) B. Varghese, O. Akgun, I. Miguel, L. Thai, A. Barker Cloud Benchmarking For Maximising Performance of Scientific Applications. IEEE Transactions on Cloud Computing (to appear), 2016.
flash.gif (995 bytes) I. P. Gent, C. Jefferson, S. Linton, I. Miguel, P. Nightingale. Generating Custom Propagators for Arbitrary Constraints. Artificial Intelligence 211, 1-33, 2014.
flash.gif (995 bytes) T. W. Kelsey, L. Kotthoff, C. A. Jefferson, S. A. Linton, I. Miguel, P. Nightingale, I. P. Gent. Qualitative Modelling via Constraint Programming. Constraints 19(2), 163-173, 2014.
flash.gif (995 bytes) P. Nightingale, I.P. Gent, C. Jefferson, I. Miguel. Short and Long Supports for Constraint Propagation. Journal of Artificial Intelligence Research 46, 1-45, 2013.
flash.gif (995 bytes) I.P. Gent, I. Miguel, N.C.A. Moore. An empirical study of learning and forgetting constraints. AI Communications 25(2), 191-208, 2012.
flash.gif (995 bytes) L. Kotthoff, I.P. Gent, I. Miguel. An Evaluation of Machine Learning in Algorithm Selection for Search Problems. AI Communications 25(3), 257-270, 2012.
flash.gif (995 bytes) A. Grayland, C. Jefferson, I. Miguel, C. Roney-Dougal. Minimal Ordering Constraints for some Families of Variable Symmetries. Annals of Mathematics and Artificial Intelligence 57(1), 75-102, 2009.
flash.gif (995 bytes) Z. Kiziltan, A.M. Frisch, B. Hnich, I. Miguel, T. Walsh. Filtering Algorithms for the Multiset Ordering Constraints. Artificial Intelligence 173(2), 299-328, 2009.
flash.gif (995 bytes) A.M. Frisch, W. Harvey, C. Jefferson, B. Martinez-Hernandez, I. Miguel. Essence: A Constraint Language for Specifying Combinatorial Problems. Constraints 13(3), 268-306, 2008.
flash.gif (995 bytes) I.P. Gent, I. Miguel, P. Nightingale. Generalised arc consistency for the AllDifferent constraint: An empirical survey. Artificial Intelligence 172(18), 1973-2000, 2008. Errata for this paper.
flash.gif (995 bytes) I.P. Gent, C. Jefferson, T. Kelsey, I. Lynce, I. Miguel, P. Nightingale, B.M. Smith. Search in the Patience Game "Black Hole". (Pre-print). AI Communications 20(3), 211-226, 2007.
flash.gif (995 bytes) A.M. Frisch, B. Hnich, Z. Kiziltan, I. Miguel, T. Walsh. Propagation Algorithms for Lexicographic Ordering Constraints. Artificial Intelligence 170(10), 803-834, 2006.
flash.gif (995 bytes) C. Jefferson, A. Miguel, I. Miguel, A. Tarim. Modelling and Solving English Peg Solitaire. Computers and Operations Research 33(10), pages 2935-2959, 2006.
flash.gif (995 bytes) I. Miguel, and Q. Shen. Exhibiting the Behaviour of Time-Delayed Systems via an Extension to Qualitative Simulation IEEE Transactions on Systems, Man and Cybernetics (Part A) 35(2), pages 298-305, 2005.
flash.gif (995 bytes) B. Hnich, Z. Kiziltan, I. Miguel, and T. Walsh. Hybrid Modelling for Robust Solving. Annals of Operations Research 130 (1-4), pages 19-39, 2004.
flash.gif (995 bytes) I. Miguel and Q. Shen. Fuzzy rrDFCSP and Planning. Artificial Intelligence 148 (1-2), pages 11-52, 2003.
flash.gif (995 bytes) I. Miguel, Q. Shen and P.Jarvis. Efficient Flexible Planning via Dynamic Flexible Constraint Satisfaction. Engineering Applications of Artificial Intelligence, 14(3), pages 301-327, 2001. bibtex
flash.gif (995 bytes) I. Miguel and Q. Shen. Solution Techniques for Constraint Satisfaction Problems: Foundations. Artificial Intelligence Review, 15(4), pages 243-267, 2001. bibtex
flash.gif (995 bytes) I. Miguel and Q. Shen. Solution Techniques for Constraint Satisfaction Problems: Advanced Approaches. Artificial Intelligence Review, 15(4), pages 269-293, 2001. bibtex
flash.gif (995 bytes) I. Miguel and Q. Shen. Dynamic Flexible Constraint Satisfaction. Applied Intelligence, 13(3), pages 231-245, 2000. bibtex
flash.gif (995 bytes) I. Miguel and Q. Shen. Hard, Flexible and Dynamic Constraint Satisfaction. Knowledge Engineering Review, 14(3), pages 199-220, 1999. bibtex

Conferences

flash.gif (995 bytes) O. Akgun, I.P. Gent, C. Jefferson, I. Miguel, and P. Nightingale. Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT. Proceedings of the 22nd International Conference on Principles and Practice of Constraint Programming (CP), 3-12, 2016
flash.gif (995 bytes) P. Nightingale, P. Spracklen, I. Miguel. Automatically Improving SAT Encoding of Constraint Problems through Common Subexpression Elimination in Savile Row Proceedings of the 21st International Conference on Principles and Practice of Constraint Programming (CP), 330-340, 2015
flash.gif (995 bytes) J. Wetter, O. Akgun, A. Barker, M. Dominik, I. Miguel, B. Varghese. Cloud-based E-Infrastructure for Scheduling Astronomical Observations. Proceedings of the 11th IEEE International Conference on e-Science (e-Science), 362-370, 2015
flash.gif (995 bytes) J. Wetter, O. Akgun, I. Miguel. Automatically Generating Streamlined Constraint Models with Essence and Conjure Proceedings of the 21st International Conference on Principles and Practice of Constraint Programming (CP), 480-496, 2015
flash.gif (995 bytes) O. Akgun, I. P. Gent, C. Jefferson, I. Miguel, P. Nightingale. Breaking Conditional Symmetry in Automated Constraint Modelling with Conjure. Proceedings of the 21st European Conference on Artificial Intelligence (ECAI), 3-8, 2014
flash.gif (995 bytes) I. P. Gent, B. S. Hussain, C. Jefferson, L. Kotthoff, I. Miguel, G. F. Nightingale, P. Nightingale. Discriminating Instance Generation for Automated Constraint Model Selection. Proceedings of the 20th International Conference on Principles and Practice of Constraint Programming (CP), 356-365, 2014
flash.gif (995 bytes) P. Nightingale, O. Akgun, I. P. Gent, C. Jefferson, I. Miguel. Automatically Improving Constraint Models in Savile Row through Associative Commutative Common Subexpression Elimination. Proceedings of the 20th International Conference on Principles and Practice of Constraint Programming (CP), 590-605, 2014
flash.gif (995 bytes) O. Akgun, A. M. Frisch, I. P. Gent, B. S. Hussain, C. Jefferson, L. Kotthoff, I. Miguel, P. Nightingale. Automated Symmetry Breaking and Model Selection in Conjure. Proceedings of the 19th International Conference on Principles and Practice of Constraint Programming (CP), 107-116, 2013
flash.gif (995 bytes) D. Balasubramaniam, C. Jefferson, L. Kotthoff, I. Miguel, P. Nightingale. An automated approach to generating efficient constraint solvers. Proceedings of the 34th International Conference on Software Engineering (ICSE), 661-671, 2012
flash.gif (995 bytes) O. Akgun, A. M. Frisch, B. Hnich, C. Jefferson, I. Miguel. Extensible Automated Constraint Modelling. Proceedings of the 25th AAAI Conference on Artificial Intelligence (AAAI), 2011.
flash.gif (995 bytes) D. Balasubramaniam, L. de Silva, C. Jefferson, L. Kotthoff, I. Miguel, P. Nightingale. Dominion: an Architecture-driven Approach to Generating Efficient Constraint Solvers. Proceedings of the 9th Working IEEE/IFP Conference on Software Architecture (WICSA), 2011
flash.gif (995 bytes) P. Nightingale, I. P. Gent, C. Jefferson, I. Miguel. Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints. Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI), 2011
flash.gif (995 bytes) I.P. Gent, C. Jefferson, L. Kotthoff, I. Miguel, N. Moore, P. Nightingale, K. Petrie. Learning when to use Learning in Constraint Solving. Proceedings of the 19th European Conference on Artificial Intelligence (ECAI), 873-878, 2010
flash.gif (995 bytes) I.P. Gent, C. Jefferson, I. Miguel, P. Nightingale. Generating Special-purpose Stateless Propagators for Arbitrary Constraints. Proceedings of the 16th International Conference on Principles and Practice of Constraint Programming (CP), 206-220, 2010
flash.gif (995 bytes) L. Kotthoff, I. Miguel, P. Nightingale. Ensemble Classification for Constraint Solver Learning. Proceedings of the 16th International Conference on Principles and Practice of Constraint Programming (CP), 321-329, 2010
flash.gif (995 bytes) S. Huczynska, P. McKay, I. Miguel, P. Nightingale. Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics. Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming, 50-64, 2009
flash.gif (995 bytes) A. Grayland, I. Miguel, C.M. Roney-Dougal. Snake Lex: An Alternative to Double Lex. Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming, 391-399, 2009
flash.gif (995 bytes) A.M. Frisch, M. Grum, C. Jefferson, B. Martinez-Hernandez, I. Miguel. The Design of Essence: A Constraint Language for Specifying Combinatorial Problems. Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, 80-87, 2007.
flash.gif (995 bytes) A.M. Frisch, C. Jefferson, B. Martinez-Hernandez, I. Miguel. Symmetry in the Generation of Constraint Models. Proceedings of the International Symmetry Conference, 2007.
flash.gif (995 bytes) I.P. Gent, C. Jefferson, I. Miguel, P. Nightingale. Data Structures for Generalised Arc Consistency for Extensional Constraints. Proceedings of the Twenty Second Conference on Artificial Intelligence, 191-197, 2007.
flash.gif (995 bytes) A. Grayland, I. Miguel, C. Roney-Dougal. Rule 1,2-Minimal Ordering Constraints for some Families of Variable Symmetries. Proceedings of the International Symmetry Conference, 2007.
flash.gif (995 bytes) J. Charnley, S. Colton, I. Miguel. Automatic Generation of Implied Constraints. Proceedings of the Seventeenth European Conference on Artificial Intelligence, 73-77, 2006.
flash.gif (995 bytes) I.P. Gent, C. Jefferson, I. Miguel. Minion: A Fast, Scalable Constraint Solver. Proceedings of the Seventeenth European Conference on Artificial Intelligence, 98-102, 2006. This was judged by the chairs to be one of the ten best papers submitted to the conference. Click for more information on the Minion Constraint Solver.
flash.gif (995 bytes) I.P. Gent, C. Jefferson, I. Miguel. Watched Literals for Constraint Propagation in Minion. Proceedings of the Twelfth International Conference on Principles and Practice of Constraint Programming, 182-197, 2006.
flash.gif (995 bytes) M. Bartlett, A.M. Frisch, Y. Hamadi, I. Miguel, S.A. Tarim, C. Unsworth. The Temporal Knapsack Problem and Its Solution. Proceedings of the 2nd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR), 34-48, 2005.
flash.gif (995 bytes) A.M. Frisch, C. Jefferson, B. Martinez-Hernandez, I. Miguel. The Rules of Constraint Modelling. Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI), 109-116, 2005.
flash.gif (995 bytes) I.P. Gent, T. Kelsey, S.A. Linton, I. McDonald, I. Miguel, B.M. Smith. Conditional Symmetry Breaking. Proceedings of the 11th International Conference on Principles and Practice of Constraint Programming (CP), 256-270, 2005.
flash.gif (995 bytes) A.M. Frisch, C. Jefferson, I. Miguel. Symmetry breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern. Proceedings of the 16th European Conference on Artificial Intelligence, pages 171-175, 2004.
flash.gif (995 bytes) S.A. Tarim, I. Miguel. Echelon Stock Formulation of Arborescent Distribution Systems: An Application to the Wagner-Whitin Problem. Proceedings of the International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (CPAIOR), LNCS 3011, 2004. You may find this powerpoint presentation useful.
flash.gif (995 bytes) A.M. Frisch, C. Jefferson, I. Miguel. Constraints for Breaking More Row and Column Symmetries. Proceedings of the Ninth International Conference on Principles and Practice of Constraint Programming, pp. 318-332, LNCS 2833, 2003.
flash.gif (995 bytes) A.M. Frisch, I. Miguel, Z. Kiziltan, B. Hnich, T. Walsh. Multiset Ordering Constraints. Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, 221-226, 2003.
flash.gif (995 bytes) P. Flener, A. M. Frisch, B. Hnich, Z. Kiziltan, I. Miguel, J. Pearson, T. Walsh. Breaking Row and Column Symmetries in Matrix Models. Proceedings of the Eighth International Conference on Principles and Practice of Constraint Programming, pages 462-476, LNCS 2470, 2002. bibtex
flash.gif (995 bytes) A. M. Frisch, B. Hnich, Z. Kiziltan, I. Miguel, T. Walsh. Global Constraints for Lexicographic Orderings (pdf). Proceedings of the Eighth International Conference on Principles and Practice of Constraint Programming, pages 93-108, LNCS 2470, 2002. bibtex. There is also a longer technical report.
flash.gif (995 bytes) S. Colton and I. Miguel. Constraint Generation via Automated Theory Formation. Proceedings of the Seventh International Conference on Principles and Practice of Constraint Programming, pages 575-579, LNCS 2239, 2001. bibtex. There is also a longer technical report.
flash.gif (995 bytes) I. Miguel, P. Jarvis, Q. Shen. Flexible Graphplan. Proceedings of the Fourteenth European Conference on Artificial Intelligence, pages 506-510, 2000. bibtex
flash.gif (995 bytes) I. Miguel and Q. Shen. Extending FCSP to Support Dynamically Changing Problems. Proceedings of the Eighth International Conference on Fuzzy Systems, pages 1615-1620, 1999. bibtex

Symposia

flash.gif (995 bytes) L. Kotthoff, I. P. Gent, I. Miguel. A Preliminary Evaluation of Machine Learning in Algorithm Selection for Search Problems. Proceedings of the 4th Annual Symposium on Combinatorial Search (SOCS), 84-91, 2011. Won the Best Student Paper prize.
flash.gif (995 bytes) N.C.A. Moore, I.P. Gent, I. Miguel. Lazy Explanations for Constraint Propagators. Proceedings of the Twelfth International Symposium on Practical Aspects of Declarative Languages (PADL), 217-233, 2010.
flash.gif (995 bytes) I. P. Gent, S. Huczynska, P. McKay, I. Miguel, P. Nightingale. Modelling Equidistant Frequency Permutation Arrays in Constraints. Proceedings of the Eighth International Symposium on Abstraction, Reformulation and Approximation (SARA), 2009.
(NB This paper is superseded by the CP paper with a similar title above).
flash.gif (995 bytes) A. Grayland, I. Miguel, C. M. Roney-Dougal. Confluence of reduction rules for lexicographic ordering constraints. Proceedings of the Eighth International Symposium on Abstraction, Reformulation and Approximation (SARA), 2009.
flash.gif (995 bytes) A. Grayland, I. Miguel, C. M. Roney-Dougal. In search of a better method to break row and column symmetries Proceedings of the Eighth International Symposium on Abstraction, Reformulation and Approximation (SARA), 2009.
(NB This paper is superseded by the CP paper on Snake Lex above).
flash.gif (995 bytes) A. Rendl, I. Miguel, I. P. Gent, P. Gregory. Common Subexpressions in Constraint Models of Planning Problems. Proceedings of the Eighth International Symposium on Abstraction, Reformulation and Approximation (SARA), 128-135, AAAI Press, 2009.
flash.gif (995 bytes) A. Rendl, I. Miguel, I. P. Gent, C. Jefferson. Automatically Enhancing Constraint Model Instances during Tailoring. Proceedings of the Eighth International Symposium on Abstraction, Reformulation and Approximation (SARA), 120-127, AAAI Press, 2009.
flash.gif (995 bytes) I.P. Gent, I. Miguel, A. Rendl. Tailoring Solver-independent Constraint Models: A Case Study with Essence' and Minion. Proceedings of the Seventh International Symposium on Abstraction, Reformulation and Approximation (SARA), 184-199, Springer LNCS 4612, 2007.
flash.gif (995 bytes) A.M. Frisch, B. Hnich, I. Miguel, B.M. Smith, T. Walsh. Transforming and Refining Abstract Constraint Specifications. Proceedings of the 6th International Symposium on Abstraction, Reformulation and Approximation (SARA), LNAI 3607, 76-91, 2005.
flash.gif (995 bytes) A. M. Frisch, I. Miguel, T. Walsh. Extensions to Proof Planning for Generating Implied Constraints. Proceedings of the Ninth Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus 01), pages 130-141, 2001. bibtex

Workshops

flash.gif (995 bytes) I.P. Gent, I. Miguel, A. Rendl. Optimising Quantified Expressions in Constraint Models. Proceedings of the 9th International Workshop on Constraint Modelling and Reformulation (ModRef), 2010.
flash.gif (995 bytes) O. Akgun, A.M. Frisch, B. Hnich, C. Jefferson, I. Miguel. Conjure Revisited: Towards Automated Constraint Modelling. Proceedings of the 9th International Workshop on Constraint Modelling and Reformulation (ModRef), 2010.
flash.gif (995 bytes) I.P. Gent, I. Miguel, A. Rendl. Optimising Quantified Expressions in Constraint Models. Proceedings of the 9th International Workshop on Constraint Modelling and Reformulation (ModRef), 2010.
flash.gif (995 bytes) A. Rendl, I. Miguel, I.P. Gent. The Cost of Flattening with Common Subexpression Elimination. Proceedings of the Eighth International Workshop on Constraint Modelling and Reformulation, 117-131, 2009.
flash.gif (995 bytes) I.P. Gent, I. Miguel, A. Rendl Common Subexpression Elimination in Automated Constraint Modelling. Proceedings of the International Workshop on Modeling and Solving Problems with Constraints, 2008.
flash.gif (995 bytes) A. Grayland, I. Miguel, C. Roney-Dougal. Confluence of Reduction Rules for Lexicographic Ordering Constraints. Proceedings of the International Workshop on Symmetry and Constraint Satisfaction Problems, 2008.
flash.gif (995 bytes) A. Grayland, I. Miguel, C. Roney-Dougal Minimal Ordering Constraints for some Families of Variable Symmetries. Proceedings of the 7th International Workshop on Symmetry and Constraint Satisfaction Problems, 2007.
flash.gif (995 bytes) A.M. Frisch, M. Grum, C. Jefferson, B. Martinez-Hernandez, I. Miguel Why ESSENCE? Frequently Asked Questions about a New Language for Specifying Combinatorial Problems. Proceedings of the 5th International Workshop on Constraint Modelling and Reformulation, 30-41, 2006.
flash.gif (995 bytes) A.M. Frisch, M. Grum, C. Jefferson, B. Martinez-Hernandez, I. Miguel The Essence of ESSENCE: A Constraint Language for Specifying Combinatorial Problems. Proceedings of the 4th International Workshop on Modelling and Reformulating Constraint Satisfaction Problems, 73-88, 2005.
flash.gif (995 bytes) A.M. Frisch, C. Jefferson, B. Martinez-Hernandez, I. Miguel The Rules of Constraint Modelling: An Overview. Proceedings of the 12th Workshop on Automnated Reasoning, 2005.
flash.gif (995 bytes) S.A. Tarim, I. Miguel A Hybrid Benders' Decomposition Method for Solving Stochastic Constraint Programs with Linear Recourse. Proceedings of the CSCLP 2005: Joint Annual Workshop on ERCIM/CoLogNet on Constraint Solving and Constraint Logic Programming, 148-162, 2005.
flash.gif (995 bytes) A.M. Frisch, C. Jefferson, B. Martinez-Hernandez, I. Miguel Generating Effective Constraint Programs: An Application of Automated Reasoning. Proceedings of the 11th Workshop on Automated Reasoning, 2004.
flash.gif (995 bytes) A.M. Frisch, C. Jefferson, B. Martinez-Hernandez, I. Miguel The Rules of Modelling: Towards Automatic Generation of Constraint Programs. Proceedings of the 3rd International Workshop on Modelling and Reformulating Constraint Satisfaction Problems, 2004.
flash.gif (995 bytes) I.P. Gent, I. McDonald, I. Miguel, B.M. Smith. Approaches to Conditional Symmetry Breaking. Proceedings of the 4th International Workshop on Symmetry and Constraint Satisfaction Problems, 2004.
flash.gif (995 bytes) A. Bakewell, A.M. Frisch, I. Miguel, Towards Automatic Modelling of Constraint Satisfaction Problems: A System Based on Compositional Refinement. Proceedings of the 2nd International Workshop on Modelling and Reformulating Constraint Satisfaction Problems, pages 2--17, 2003.
flash.gif (995 bytes) P. Flener, A.M. Frisch, B. Hnich, C. Jefferson, Z.Kiziltan, I. Miguel, J. Pearson, T. Walsh. Breaking Symmetries in Matrix Models: A Brief Overview. Proceedings of the Tenth Workshop on Automated Reasoning, pages 27--28, 2003.
flash.gif (995 bytes) A.M. Frisch, I. Miguel, T. Walsh. Refining Abstract Specifications of Constraint Satisfaction Problems. Proceedings of the Tenth Workshop on Automated Reasoning, pages 29--31, 2003.
flash.gif (995 bytes) C. Jefferson, A. Miguel, I. Miguel, A. Tarim. Modelling and Solving English Peg Solitaire. Proceedings of the Fifth International Workshop on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR), pages 261--275, 2003. You might find this powerpoint presentation useful. Some Ilog Solver code and a PDDL specification can be found here.
flash.gif (995 bytes) P. Flener, A. M. Frisch, B. Hnich, Z. Kiziltan, I. Miguel and T. Walsh. Matrix Modelling: Exploiting Common Patterns in Constraint Programming. Proceedings of the International Workshop on Reformulating Constraint Satisfaction Problems, pages 27-41, 2002. bibtex
flash.gif (995 bytes) A. M. Frisch, B. Hnich, I. Miguel, B.M. Smith, T. Walsh. Towards CSP Model Reformulation at Multiple Levels of Abstraction. Proceedings of the International Workshop on Reformulating Constraint Satisfaction Problems, pages 42-56, 2002. bibtex
flash.gif (995 bytes) A. M. Frisch, I. Miguel, T. Walsh. Automatically Transforming Constraint Satisfaction Problems: Further Progress. Proceedings of the 9th Workshop on Automated Reasoning, 2002. bibtex
flash.gif (995 bytes) A. M. Frisch, I. Miguel, T. Walsh. CGRASS: A System for Transforming Constraint Satisfaction Problems. Proceedings of the ERCIM/Colognet Workshop on Constraint Solving and Constraint Logic Programming LNAI 2627, pages 15-30, 2002. bibtex
flash.gif (995 bytes) I. Miguel, Q. Shen, P. Jarvis. Flexible Planning by Leximin Fuzzy Constraint Satisfaction. Proceedings of the Fourth International Workshop on Soft Constraints pages 43-55, 2002. bibtex
flash.gif (995 bytes) S. Colton, L. Drake, A. M. Frisch, I. Miguel and T. Walsh. Automatic Generation of Implied Constraints: Initial Progress. Proceedings of the 8th Workshop on Automated Reasoning, pages 17-18, 2001. bibtex
flash.gif (995 bytes) P. Flener, A. M. Frisch, B. Hnich, Z. Kiziltan, I. Miguel, J. Pearson and T. Walsh. Symmetry in Matrix Models. Proceedings of the CP'01 Workshop on Symmetry in Constraints (SymCon '01), pages 41-48, 2001. bibtex
flash.gif (995 bytes) P. Flener, A. M. Frisch, B. Hnich, Z. Kiziltan, I. Miguel and T. Walsh. Matrix Modelling. Proceedings of the CP'01 Workshop on Modelling and Problem Formulation (Formul '01), pages 1-7, 2001. bibtex
flash.gif (995 bytes) A. M. Frisch, I. Miguel, T. Walsh. Generating Implied Constraints via Proof Planning. Proceedings of the IJCAR-01 Workshop on Future Directions in Automated Reasoning, pages 48-55, 2001. bibtex
flash.gif (995 bytes) A. M. Frisch, I. Miguel, T. Walsh. Modelling a Steel Mill Slab Design Problem. Proceedings of the IJCAI-01 Workshop on Modelling and Solving Problems with Constraints, pages 39-45, 2001. bibtex
flash.gif (995 bytes) A. M. Frisch, I. Miguel, T. Walsh. Symmetry and Implied Constraints in the Steel Mill Slab Design Problem. Proceedings of the CP'01 Workshop on Modelling and Problem Formulation (Formul'01), pages 8-15, 2001. bibtex
flash.gif (995 bytes) I. Miguel. Symmetry-breaking in Planning: Schematic Constraints. Proceedings of the CP'01 Workshop on Symmetry in Constraints (SymCon '01), pages 17-24, 2001. bibtex
flash.gif (995 bytes) I. Miguel. The Case for Dynamic Flexible Constraint Satisfaction. Proceedings of the CP'01 Workshop on Constraints and Uncertainty, pages 19-20, 2001. bibtex
flash.gif (995 bytes) P. Jarvis, I. Miguel, Q. Shen. Flexible Blackbox: Preliminary Results. Proceedings of the AAAI-2000 Workshop on Representational Issues for Real-World Planning Systems, pages 43-49, 2000. bibtex
flash.gif (995 bytes) I. Miguel and Q. Shen. Extending Qualitative Modelling for Simulation of Time-Delayed Behaviour. Proceedings of the Twelfth International Workshop on Qualitative Reasoning, Cape Cod, Massachusetts, pages 161-166, 1998. bibtex

Theses

flash.gif (995 bytes) I. Miguel. Dynamic Flexible Constraint Satisfaction and Its Application to AI Planning. PhD Thesis, University of Edinburgh, 2001. You might find this powerpoint presentation useful.
flash.gif (995 bytes) I. Miguel. Simulating Inverse Responses and Time-delayed Behaviour with Fuzzy Qualitative Simulation. MSc Thesis, University of Edinburgh, 1997.

Page maintained by Ian Miguel (email me). Last update: 29th September, 2016.