Ian Miguel

According to our database1, Ian Miguel authored at least 89 papers between 1999 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
Cloud Benchmarking for Maximising Performance of Scientific Applications.
IEEE Trans. Cloud Computing, 2019

A Commentary on "Breaking Row and Column Symmetries in Matrix Models".
CoRR, 2019

Towards Improving Solution Dominance with Incomparability Conditions: A case-study using Generator Itemset Mining.
CoRR, 2019

Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Automatic Streamlining for Constrained Optimisation.
Proceedings of the Principles and Practice of Constraint Programming, 2019

Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2019

Instance Generation via Generator Instances.
Proceedings of the Principles and Practice of Constraint Programming, 2019

2018
A review of literature on parallel constraint solving.
TPLP, 2018

Modelling Langford's Problem: A Viewpoint for Search.
CoRR, 2018

A Framework for Constraint Based Local Search using Essence.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Closed Frequent Itemset Mining with Arbitrary Side Constraints.
Proceedings of the 2018 IEEE International Conference on Data Mining Workshops, 2018

Automatic Generation and Selection of Streamlined Constraint Models via Monte Carlo Search on a Model Lattice.
Proceedings of the Principles and Practice of Constraint Programming, 2018

Automatic Discovery and Exploitation of Promising Subproblems for Tabulation.
Proceedings of the Principles and Practice of Constraint Programming, 2018

Metamorphic Testing of Constraint Solvers.
Proceedings of the Principles and Practice of Constraint Programming, 2018

2017
Automatically improving constraint models in Savile Row.
Artif. Intell., 2017

2016
Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT.
Proceedings of the Principles and Practice of Constraint Programming, 2016

2015
Cloud-based E-Infrastructure for Scheduling Astronomical Observations.
Proceedings of the 11th IEEE International Conference on e-Science, 2015

Automatically Generating Streamlined Constraint Models with Essence and Conjure.
Proceedings of the Principles and Practice of Constraint Programming, 2015

Automatically Improving SAT Encoding of Constraint Problems Through Common Subexpression Elimination in Savile Row.
Proceedings of the Principles and Practice of Constraint Programming, 2015

2014
Qualitative modelling via constraint programming.
Constraints, 2014

Generating custom propagators for arbitrary constraints.
Artif. Intell., 2014

Breaking Conditional Symmetry in Automated Constraint Modelling with CONJURE.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination.
Proceedings of the Principles and Practice of Constraint Programming, 2014

Discriminating Instance Generation for Automated Constraint Model Selection.
Proceedings of the Principles and Practice of Constraint Programming, 2014

Cloud Benchmarking for Performance.
Proceedings of the IEEE 6th International Conference on Cloud Computing Technology and Science, 2014

Optimal Deployment of Geographically Distributed Workflow Engines on the Cloud.
Proceedings of the IEEE 6th International Conference on Cloud Computing Technology and Science, 2014

2013
Short and Long Supports for Constraint Propagation.
J. Artif. Intell. Res., 2013

Automated Symmetry Breaking and Model Selection in Conjure.
Proceedings of the Principles and Practice of Constraint Programming, 2013

2012
Qualitative Modelling via Constraint Programming: Past, Present and Future
CoRR, 2012

An evaluation of machine learning in algorithm selection for search problems.
AI Commun., 2012

An empirical study of learning and forgetting constraints.
AI Commun., 2012

An automated approach to generating efficient constraint solvers.
Proceedings of the 34th International Conference on Software Engineering, 2012

2011
Modelling Constraint Solver Architecture Design as a Constraint Problem
CoRR, 2011

Conjure Revisited: Towards Automated Constraint Modelling
CoRR, 2011

Dominion: An Architecture-Driven Approach to Generating Efficient Constraint Solvers.
Proceedings of the 9th Working IEEE/IFIP Conference on Software Architecture, 2011

A Preliminary Evaluation of Machine Learning in Algorithm Selection for Search Problems.
Proceedings of the Fourth Annual Symposium on Combinatorial Search, 2011

Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints.
Proceedings of the IJCAI 2011, 2011

Extensible Automated Constraint Modelling.
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010
Machine learning for constraint solver design -- A case study for the alldifferent constraint
CoRR, 2010

Using machine learning to make constraint solver implementation decisions
CoRR, 2010

Lazy Explanations for Constraint Propagators.
Proceedings of the Practical Aspects of Declarative Languages, 2010

Learning When to Use Lazy Learning in Constraint Solving.
Proceedings of the ECAI 2010, 2010

Ensemble Classification for Constraint Solver Configuration.
Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

Generating Special-Purpose Stateless Propagators for Arbitrary Constraints.
Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

2009
Minimal ordering constraints for some families of variable symmetries.
Ann. Math. Artif. Intell., 2009

Filtering algorithms for the multiset ordering constraint.
Artif. Intell., 2009

Automatically Enhancing Constraint Model Instances during Tailoring.
Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

Common Subexpressions in Constraint Models of Planning Problems.
Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

In Search of a Better Method to Break Row and Column Symmetries.
Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

Confluence of Reduction Rules for Lexicographic Ordering Constraints.
Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

Modelling Equidistant Frequency Permutation Arrays in Constraints.
Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics.
Proceedings of the Principles and Practice of Constraint Programming, 2009

Snake Lex: An Alternative to Double Lex.
Proceedings of the Principles and Practice of Constraint Programming, 2009

2008
Introduction to the Special Issue on Abstraction and Automation in Constraint Modelling.
Constraints, 2008

Essence : A constraint language for specifying combinatorial problems.
Constraints, 2008

Generalised arc consistency for the AllDifferent constraint: An empirical survey.
Artif. Intell., 2008

2007
Search in the patience game 'Black Hole'.
AI Commun., 2007

Tailoring Solver-Independent Constraint Models: A Case Study with Essence' and Minion.
Proceedings of the Abstraction, 2007

The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems.
Proceedings of the IJCAI 2007, 2007

Data Structures for Generalised Arc Consistency for Extensional Constraints.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
Uncertainty and Change.
Proceedings of the Handbook of Constraint Programming, 2006

Modelling and solving English Peg Solitaire.
Computers & OR, 2006

Propagation algorithms for lexicographic ordering constraints.
Artif. Intell., 2006

Minion: A Fast Scalable Constraint Solver.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Automatic Generation of Implied Constraints.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Watched Literals for Constraint Propagation in Minion.
Proceedings of the Principles and Practice of Constraint Programming, 2006

2005
Exhibiting the behavior of time-delayed systems via an extension to qualitative simulation.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2005

Transforming and Refining Abstract Constraint Specifications.
Proceedings of the Abstraction, 2005

The Rules of Constraint Modelling.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

A Hybrid Benders' Decomposition Method for Solving Stochastic Constraint Programs with Linear Recourse.
Proceedings of the Recent Advances in Constraints, 2005

The Temporal Knapsack Problem and Its Solution.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2005

Conditional Symmetry Breaking.
Proceedings of the Principles and Practice of Constraint Programming, 2005

2004
Dynamic flexible constraint satisfaction and its application to AI planning.
Springer, ISBN: 1-85233-764-8, 2004

Hybrid Modelling for Robust Solving.
Annals OR, 2004

Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Echelon Stock Formulation of Arborescent Distribution Systems: An Application to the Wagner-Whitin Problem.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2004

2003
Fuzzy rrDFCSP and planning.
Artif. Intell., 2003

Multiset Ordering Constraints.
Proceedings of the IJCAI-03, 2003

Constraints for Breaking More Row and Column Symmetries.
Proceedings of the Principles and Practice of Constraint Programming, 2003

2002
Global Constraints for Lexicographic Orderings.
Proceedings of the Principles and Practice of Constraint Programming, 2002

Breaking Row and Column Symmetries in Matrix Models.
Proceedings of the Principles and Practice of Constraint Programming, 2002

CGRASS: A System for Transforming Constraint Satisfaction Problems.
Proceedings of the Recent Advances in Constraints, 2002

2001
Dynamic flexible constraint satisfaction and its application to AI planning.
PhD thesis, 2001

Solution Techniques for Constraint Satisfaction Problems: Advanced Approaches.
Artif. Intell. Rev., 2001

Solution Techniques for Constraint Satisfaction Problems: Foundations.
Artif. Intell. Rev., 2001

Constraint Generation via Automated Theory Formation.
Proceedings of the Principles and Practice of Constraint Programming, 2001

2000
Dynamic Flexible Constraint Satisfaction.
Appl. Intell., 2000

Flexible Graphplan.
Proceedings of the ECAI 2000, 2000

1999
Hard, flexible and dynamic constraint satisfaction.
Knowledge Eng. Review, 1999


  Loading...