Ian Miguel - RankMe

130 papers A* 11A 33B 7C 3Journal 58Unranked 14

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Athanor: Local search over abstract constraint specifications. Artif. Intell. Saad Attieh, Nguyen Dang, Christopher Jefferson, Ian Miguel, Peter Nightingale
2025	J	`jnl`	TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models. J. Artif. Intell. Res. Özgür Akgün, Ian P. Gent, Christopher Jefferson, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, András Z. Salamon, Felix Ulrich-Oltean
2025	A	`conf`	Transformer-Based Feature Learning for Algorithm Selection in Combinatorial Optimisation. CP Alessio Pellegrino, Özgür Akgün, Nguyen Dang, Zeynep Kiziltan, Ian Miguel
2024	B	`conf`	A Graph Transformation-Based Engine for the Automated Exploration of Constraint Models. ICGT Christopher Stone, András Z. Salamon, Ian Miguel
2024	—	`conf`	An Evaluation of Domain-Agnostic Representations to Enable Multi-task Learning in Combinatorial Optimisation. LION Christopher Stone, Quentin Renau, Ian Miguel, Emma Hart
2024	J	`jnl`	Athanor: Local Search over Abstract Constraint Specifications. CoRR Saad Attieh, Nguyen Dang, Christopher Jefferson, Ian Miguel, Peter Nightingale
2024	J	`jnl`	Automatic Feature Learning for Essence: a Case Study on Car Sequencing. CoRR Alessio Pellegrino, Özgür Akgün, Nguyen Dang, Zeynep Kiziltan, Ian Miguel
2024	J	`jnl`	Automating Reformulation of Essence Specifications via Graph Rewriting. CoRR Ian Miguel, András Z. Salamon, Christopher Stone
2024	B	`conf`	Cross-Paradigm Modelling: A Study of Puzznic. ICTAI Joan Espasa, Ian P. Gent, Ian Miguel, Peter Nightingale, András Z. Salamon, Mateu Villaret
2024	A	`conf`	Frugal Algorithm Selection (Short Paper). CP Erdem Kus, Özgür Akgün, Nguyen Dang, Ian Miguel
2024	J	`jnl`	Frugal Algorithm Selection. CoRR Erdem Kus, Özgür Akgün, Nguyen Dang, Ian Miguel
2024	J	`jnl`	Plotting: a case study in lifted planning with constraints. Constraints An Int. J. Joan Espasa, Ian Miguel, Peter Nightingale, András Z. Salamon, Mateu Villaret
2024	J	`jnl`	Towards High-Level Modelling in Automated Planning. CoRR Carla Davesa Sureda, Joan Espasa Arxer, Ian Miguel, Mateu Villaret Auselle
2023	J	`jnl`	Automated streamliner portfolios for constraint satisfaction problems. Artif. Intell. Patrick Spracklen, Nguyen Dang, Özgür Akgün, Ian Miguel
2023	J	`jnl`	Challenges in Modelling and Solving Plotting with PDDL. CoRR Joan Espasa, Ian Miguel, Peter Nightingale, András Z. Salamon, Mateu Villaret
2023	A*	`conf`	Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract). IJCAI Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
2023	A*	`conf`	Learning When to Use Automatic Tabulation in Constraint Model Reformulation. IJCAI Carlo Cena, Özgür Akgün, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, Felix Ulrich-Oltean
2023	J	`jnl`	Towards Exploratory Reformulation of Constraint Models. CoRR Ian Miguel, András Z. Salamon, Christopher Stone
2023	J	`jnl`	Towards a Model of Puzznic. CoRR Joan Espasa, Ian P. Gent, Ian Miguel, Peter Nightingale, András Z. Salamon, Mateu Villaret
2023	—	`conf`	Towards optimisers that 'Keep Learning'. GECCO Companion Emma Hart, Ian Miguel, Christopher Stone, Quentin Renau
2022	A	`conf`	A Framework for Generating Informative Benchmark Instances. CP Nguyen Dang, Özgür Akgün, Joan Espasa, Ian Miguel, Peter Nightingale
2022	J	`jnl`	A Framework for Generating Informative Benchmark Instances. CoRR Nguyen Dang, Özgür Akgün, Joan Espasa, Ian Miguel, Peter Nightingale
2022	J	`jnl`	Automatic Tabulation in Constraint Models. CoRR Özgür Akgün, Ian P. Gent, Christopher Jefferson, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, András Z. Salamon, Felix Ulrich-Oltean
2022	J	`jnl`	Conjure: Automatic Generation of Constraint Models from Problem Specifications. Artif. Intell. Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
2022	A	`conf`	Plotting: A Planning Problem with Complex Transitions. CP Joan Espasa, Ian Miguel, Mateu Villaret
2021	J	`jnl`	A Preliminary Case Study of Planning With Complex Transitions: Plotting. CoRR Jordi Coll, Joan Espasa, Ian Miguel, Mateu Villaret
2021	—	`conf`	Exploring Lifted Planning Encodings in Essence Prime. CCIA Joan Espasa, Jordi Coll, Ian Miguel, Mateu Villaret
2021	J	`jnl`	Towards Reformulating Essence Specifications for Robustness. CoRR Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon
2020	B	`conf`	Discriminating Instance Generation from Abstract Specifications: A Case Study with CP and MIP. CPAIOR Özgür Akgün, Nguyen Dang, Ian Miguel, András Z. Salamon, Patrick Spracklen, Christopher Stone
2020	J	`jnl`	Efficient Incremental Modelling and Solving. CoRR Gökberk Koçak, Özgür Akgün, Nguyen Dang, Ian Miguel
2020	A	`conf`	Exploiting Incomparability in Solution Dominance: Improving General Purpose Constraint-Based Mining. ECAI Gökberk Koçak, Özgür Akgün, Tias Guns, Ian Miguel
2020	J	`jnl`	Exploring Instance Generation for Automated Planning. CoRR Özgür Akgün, Nguyen Dang, Joan Espasa, Ian Miguel, András Z. Salamon, Christopher Stone
2020	J	`jnl`	Towards Portfolios of Streamlined Constraint Models: A Case Study with the Balanced Academic Curriculum Problem. CoRR Patrick Spracklen, Nguyen Dang, Özgür Akgün, Ian Miguel
2019	J	`jnl`	A Commentary on "Breaking Row and Column Symmetries in Matrix Models". CoRR Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh
2019	A*	`conf`	Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence. IJCAI Saad Attieh, Nguyen Dang, Christopher Jefferson, Ian Miguel, Peter Nightingale
2019	A	`conf`	Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints. CP Carlos Ansótegui, Miquel Bofill, Jordi Coll, Nguyen Dang, Juan Luis Esteban, Ian Miguel, Peter Nightingale, András Z. Salamon, Josep Suy, Mateu Villaret
2019	A	`conf`	Automatic Streamlining for Constrained Optimisation. CP Patrick Spracklen, Nguyen Dang, Özgür Akgün, Ian Miguel
2019	J	`jnl`	Cloud Benchmarking for Maximising Performance of Scientific Applications. IEEE Trans. Cloud Comput. Blesson Varghese, Ozgur Akgun, Ian Miguel, Long Thai, Adam Barker
2019	A	`conf`	Instance Generation via Generator Instances. CP Özgür Akgün, Nguyen Dang, Ian Miguel, András Z. Salamon, Christopher Stone
2019	J	`jnl`	Towards Improving Solution Dominance with Incomparability Conditions: A case-study using Generator Itemset Mining. CoRR Gökberk Koçak, Özgür Akgün, Tias Guns, Ian Miguel
2018	A*	`conf`	A Framework for Constraint Based Local Search using Essence. IJCAI Özgür Akgün, Saad Attieh, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon, Patrick Spracklen, James Wetter
2018	J	`jnl`	A Review of Literature on Parallel Constraint Solving. CoRR Ian P. Gent, Ciaran McCreesh, Ian Miguel, Neil C. A. Moore, Peter Nightingale, Patrick Prosser, Chris Unsworth
2018	J	`jnl`	A review of literature on parallel constraint solving. Theory Pract. Log. Program. Ian P. Gent, Ian Miguel, Peter Nightingale, Ciaran McCreesh, Patrick Prosser, Neil C. A. Moore, Chris Unsworth
2018	A	`conf`	Automatic Discovery and Exploitation of Promising Subproblems for Tabulation. CP Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon
2018	A	`conf`	Automatic Generation and Selection of Streamlined Constraint Models via Monte Carlo Search on a Model Lattice. CP Patrick Spracklen, Özgür Akgün, Ian Miguel
2018	—	`conf`	Closed Frequent Itemset Mining with Arbitrary Side Constraints. ICDM Workshops Gokberk Kocak, Ozgur Akgun, Ian Miguel, Peter Nightingale
2018	A	`conf`	Metamorphic Testing of Constraint Solvers. CP Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
2018	J	`jnl`	Modelling Langford's Problem: A Viewpoint for Search. CoRR Özgür Akgün, Ian Miguel
2017	J	`jnl`	Automatically improving constraint models in Savile Row. Artif. Intell. Peter Nightingale, Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Patrick Spracklen
2016	J	`jnl`	Cloud Benchmarking For Maximising Performance of Scientific Applications. CoRR Blesson Varghese, Ozgur Akgun, Ian Miguel, Long Thai, Adam Barker
2016	A	`conf`	Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT. CP Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
2015	A	`conf`	Automatically Generating Streamlined Constraint Models with Essence and Conjure. CP James Wetter, Özgür Akgün, Ian Miguel
2015	A	`conf`	Automatically Improving SAT Encoding of Constraint Problems Through Common Subexpression Elimination in Savile Row. CP Peter Nightingale, Patrick Spracklen, Ian Miguel
2015	B	`conf`	Cloud-based E-Infrastructure for Scheduling Astronomical Observations. e-Science James Wetter, Ozgur Akgun, Adam Barker, Martin Dominik, Ian Miguel, Blesson Varghese
2014	A	`conf`	Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination. CP Peter Nightingale, Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel
2014	A	`conf`	Breaking Conditional Symmetry in Automated Constraint Modelling with CONJURE. ECAI Ozgur Akgun, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
2014	C	`conf`	Cloud Benchmarking for Performance. CloudCom Blesson Varghese, Ozgur Akgun, Ian Miguel, Long Thai, Adam Barker
2014	J	`jnl`	Cloud Benchmarking for Performance. CoRR Blesson Varghese, Ozgur Akgun, Ian Miguel, Long Thai, Adam Barker
2014	A	`conf`	Discriminating Instance Generation for Automated Constraint Model Selection. CP Ian P. Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Glenna F. Nightingale, Peter Nightingale
2014	J	`jnl`	Generating custom propagators for arbitrary constraints. Artif. Intell. Ian P. Gent, Christopher Jefferson, Steve Linton, Ian Miguel, Peter Nightingale
2014	C	`conf`	Optimal Deployment of Geographically Distributed Workflow Engines on the Cloud. CloudCom Long Thai, Adam Barker, Blesson Varghese, Ozgur Akgun, Ian Miguel
2014	J	`jnl`	Optimal Deployment of Geographically Distributed Workflow Engines on the Cloud. CoRR Long Thai, Adam Barker, Blesson Varghese, Ozgur Akgun, Ian Miguel
2014	J	`jnl`	Qualitative modelling via constraint programming. Constraints An Int. J. Thomas W. Kelsey, Lars Kotthoff, Christopher Jefferson, Stephen A. Linton, Ian Miguel, Peter Nightingale, Ian P. Gent
2014	J	`jnl`	Short and Long Supports for Constraint Propagation. CoRR Peter Nightingale, Ian Philip Gent, Christopher Jefferson, Ian Miguel
2013	A	`conf`	Automated Symmetry Breaking and Model Selection in Conjure. CP Ozgur Akgun, Alan M. Frisch, Ian P. Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale
2013	J	`jnl`	Short and Long Supports for Constraint Propagation. J. Artif. Intell. Res. Peter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel
2012	A*	`conf`	An automated approach to generating efficient constraint solvers. ICSE Dharini Balasubramaniam, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale
2012	J	`jnl`	An empirical study of learning and forgetting constraints. AI Commun. Ian P. Gent, Ian Miguel, Neil C. A. Moore
2012	J	`jnl`	An evaluation of machine learning in algorithm selection for search problems. AI Commun. Lars Kotthoff, Ian P. Gent, Ian Miguel
2012	J	`jnl`	Qualitative Modelling via Constraint Programming: Past, Present and Future CoRR Thomas W. Kelsey, Lars Kotthoff, Christopher Jefferson, Stephen A. Linton, Ian Miguel, Peter Nightingale, Ian P. Gent
2011	B	`conf`	A Preliminary Evaluation of Machine Learning in Algorithm Selection for Search Problems. SOCS Lars Kotthoff, Ian P. Gent, Ian Miguel
2011	J	`jnl`	Conjure Revisited: Towards Automated Constraint Modelling CoRR Ozgur Akgun, Alan M. Frisch, Brahim Hnich, Christopher Jefferson, Ian Miguel
2011	—	`conf`	Dominion: An Architecture-Driven Approach to Generating Efficient Constraint Solvers. WICSA Dharini Balasubramaniam, Lakshitha de Silva, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale
2011	A*	`conf`	Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints. IJCAI Peter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel
2011	A*	`conf`	Extensible Automated Constraint Modelling. AAAI Ozgur Akgun, Ian Miguel, Christopher Jefferson, Alan M. Frisch, Brahim Hnich
2011	J	`jnl`	Modelling Constraint Solver Architecture Design as a Constraint Problem CoRR Ian P. Gent, Christopher Jefferson, Lars Kotthoff, Ian Miguel
2010	A	`conf`	Ensemble Classification for Constraint Solver Configuration. CP Lars Kotthoff, Ian Miguel, Peter Nightingale
2010	A	`conf`	Generating Special-Purpose Stateless Propagators for Arbitrary Constraints. CP Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
2010	C	`conf`	Lazy Explanations for Constraint Propagators. PADL Ian P. Gent, Ian Miguel, Neil C. A. Moore
2010	A	`conf`	Learning When to Use Lazy Learning in Constraint Solving. ECAI Ian P. Gent, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Neil C. A. Moore, Peter Nightingale, Karen E. Petrie
2010	J	`jnl`	Machine learning for constraint solver design -- A case study for the alldifferent constraint CoRR Ian P. Gent, Lars Kotthoff, Ian Miguel, Peter Nightingale
2010	J	`jnl`	Using machine learning to make constraint solver implementation decisions CoRR Lars Kotthoff, Ian P. Gent, Ian Miguel
2009	—	`conf`	Automatically Enhancing Constraint Model Instances during Tailoring. SARA Andrea Rendl, Ian Miguel, Ian P. Gent, Christopher Jefferson
2009	—	`conf`	Common Subexpressions in Constraint Models of Planning Problems. SARA Andrea Rendl, Ian Miguel, Ian P. Gent, Peter Gregory
2009	—	`conf`	Confluence of Reduction Rules for Lexicographic Ordering Constraints. SARA Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal
2009	J	`jnl`	Filtering Algorithms for the Multiset Ordering Constraint CoRR Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh
2009	J	`jnl`	Filtering algorithms for the multiset ordering constraint. Artif. Intell. Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh
2009	—	`conf`	In Search of a Better Method to Break Row and Column Symmetries. SARA Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal
2009	J	`jnl`	Minimal ordering constraints for some families of variable symmetries. Ann. Math. Artif. Intell. Andrew Grayland, Christopher Jefferson, Ian Miguel, Colva M. Roney-Dougal
2009	—	`conf`	Modelling Equidistant Frequency Permutation Arrays in Constraints. SARA Ian P. Gent, Paul McKay, Ian Miguel, Peter Nightingale, Sophie Huczynska
2009	A	`conf`	Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics. CP Sophie Huczynska, Paul McKay, Ian Miguel, Peter Nightingale
2009	J	`jnl`	Multiset Ordering Constraints CoRR Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh
2009	A	`conf`	Snake Lex: An Alternative to Double Lex. CP Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal
2008	J	`jnl`	Essence : A constraint language for specifying combinatorial problems. Constraints An Int. J. Alan M. Frisch, Warwick Harvey, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel
2008	J	`jnl`	Generalised arc consistency for the AllDifferent constraint: An empirical survey. Artif. Intell. Ian P. Gent, Ian Miguel, Peter Nightingale
2008	J	`jnl`	Introduction to the Special Issue on Abstraction and Automation in Constraint Modelling. Constraints An Int. J. Alan M. Frisch, Ian Miguel
2007	—	`ed.`	Abstraction, Reformulation, and Approximation, 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings SARA Ian Miguel, Wheeler Ruml
2007	A*	`conf`	Data Structures for Generalised Arc Consistency for Extensional Constraints. AAAI Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale
2007	J	`jnl`	Search in the patience game 'Black Hole'. AI Commun. Ian P. Gent, Christopher Jefferson, Tom W. Kelsey, Inês Lynce, Ian Miguel, Peter Nightingale, Barbara M. Smith, Armagan Tarim
2007	—	`conf`	Tailoring Solver-Independent Constraint Models: A Case Study with Essence' and Minion. SARA Ian P. Gent, Ian Miguel, Andrea Rendl
2007	A*	`conf`	The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems. IJCAI Alan M. Frisch, Matthew Grum, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel
2006	A	`conf`	Automatic Generation of Implied Constraints. ECAI John William Charnley, Simon Colton, Ian Miguel
2006	A	`conf`	Minion: A Fast Scalable Constraint Solver. ECAI Ian P. Gent, Christopher Jefferson, Ian Miguel
2006	J	`jnl`	Modelling and solving English Peg Solitaire. Comput. Oper. Res. Christopher Jefferson, Angela Miguel, Ian Miguel, Armagan Tarim
2006	J	`jnl`	Propagation algorithms for lexicographic ordering constraints. Artif. Intell. Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh
2006	—	`ch.`	Uncertainty and Change. Handbook of Constraint Programming Kenneth N. Brown, Ian Miguel
2006	A	`conf`	Watched Literals for Constraint Propagation in Minion. CP Ian P. Gent, Christopher Jefferson, Ian Miguel
2005	—	`conf`	A Hybrid Benders' Decomposition Method for Solving Stochastic Constraint Programs with Linear Recourse. CSCLP Armagan Tarim, Ian Miguel
2005	A	`conf`	Conditional Symmetry Breaking. CP Ian P. Gent, Tom W. Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith
2005	J	`jnl`	Exhibiting the behavior of time-delayed systems via an extension to qualitative simulation. IEEE Trans. Syst. Man Cybern. Part A Ian Miguel, Qiang Shen
2005	A*	`conf`	The Rules of Constraint Modelling. IJCAI Alan M. Frisch, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel
2005	B	`conf`	The Temporal Knapsack Problem and Its Solution. CPAIOR Mark Bartlett, Alan M. Frisch, Youssef Hamadi, Ian Miguel, Armagan Tarim, Chris Unsworth
2005	—	`conf`	Transforming and Refining Abstract Constraint Specifications. SARA Alan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh
2004	—	`book`	Dynamic flexible constraint satisfaction and its application to AI planning. Ian Miguel
2004	B	`conf`	Echelon Stock Formulation of Arborescent Distribution Systems: An Application to the Wagner-Whitin Problem. CPAIOR Armagan Tarim, Ian Miguel
2004	J	`jnl`	Hybrid Modelling for Robust Solving. Ann. Oper. Res. Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh
2004	A	`conf`	Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern. ECAI Alan M. Frisch, Christopher Jefferson, Ian Miguel
2003	A	`conf`	Constraints for Breaking More Row and Column Symmetries. CP Alan M. Frisch, Christopher Jefferson, Ian Miguel
2003	J	`jnl`	Fuzzy rrDFCSP and planning. Artif. Intell. Ian Miguel, Qiang Shen
2003	A*	`conf`	Multiset Ordering Constraints. IJCAI Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh
2002	A	`conf`	Breaking Row and Column Symmetries in Matrix Models. CP Pierre Flener, Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Justin Pearson, Toby Walsh
2002	—	`conf`	CGRASS: A System for Transforming Constraint Satisfaction Problems. International Workshop on Constraint Solving and Constraint Logic Programming Alan M. Frisch, Ian Miguel, Toby Walsh
2002	A	`conf`	Global Constraints for Lexicographic Orderings. CP Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh
2001	A	`conf`	Constraint Generation via Automated Theory Formation. CP Simon Colton, Ian Miguel
2001	—	`—`	Dynamic flexible constraint satisfaction and its application to AI planning. Ian Miguel
2001	J	`jnl`	Solution Techniques for Constraint Satisfaction Problems: Advanced Approaches. Artif. Intell. Rev. Ian Miguel, Qiang Shen
2001	J	`jnl`	Solution Techniques for Constraint Satisfaction Problems: Foundations. Artif. Intell. Rev. Ian Miguel, Qiang Shen
2000	J	`jnl`	Dynamic Flexible Constraint Satisfaction. Appl. Intell. Ian Miguel, Qiang Shen
2000	A	`conf`	Flexible Graphplan. ECAI Ian Miguel, Peter Jarvis, Qiang Shen
1999	J	`jnl`	Hard, flexible and dynamic constraint satisfaction. Knowl. Eng. Rev. Ian Miguel, Qiang Shen