Ian Miguel

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020

2019

Cloud Benchmarking for Maximising Performance of Scientific Applications.

[BibT_eX]

[DOI]

IEEE Trans. Cloud Comput., 2019

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

[BibT_eX]

[DOI]

CoRR, 2019

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

[BibT_eX]

[DOI]

CoRR, 2019

Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence.

[BibT_eX]

[DOI]

Saad Attieh

Nguyen Dang

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Automatic Streamlining for Constrained Optimisation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2019

Instance Generation via Generator Instances.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2019

2018

A review of literature on parallel constraint solving.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2018

Modelling Langford's Problem: A Viewpoint for Search.

[BibT_eX]

[DOI]

CoRR, 2018

A Framework for Constraint Based Local Search using Essence.

[BibT_eX]

[DOI]

Saad Attieh

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Closed Frequent Itemset Mining with Arbitrary Side Constraints.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Patrick Spracklen

Proceedings of the Principles and Practice of Constraint Programming, 2018

Automatic Discovery and Exploitation of Promising Subproblems for Tabulation.

[BibT_eX]

[DOI]

András Z. Salamon

Proceedings of the Principles and Practice of Constraint Programming, 2018

Metamorphic Testing of Constraint Solvers.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2018

2017

Automatically improving constraint models in Savile Row.

[BibT_eX]

[DOI]

Patrick Spracklen

Artif. Intell., 2017

2016

Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2016

2015

Cloud-based E-Infrastructure for Scheduling Astronomical Observations.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on e-Science, 2015

Automatically Generating Streamlined Constraint Models with Essence and Conjure.

[BibT_eX]

[DOI]

James Wetter

Proceedings of the Principles and Practice of Constraint Programming, 2015

Automatically Improving SAT Encoding of Constraint Problems Through Common Subexpression Elimination in Savile Row.

[BibT_eX]

[DOI]

Patrick Spracklen

Proceedings of the Principles and Practice of Constraint Programming, 2015

2014

Qualitative modelling via constraint programming.

[BibT_eX]

[DOI]

Thomas W. Kelsey

Constraints An Int. J., 2014

Generating custom propagators for arbitrary constraints.

[BibT_eX]

[DOI]

Steve Linton

Artif. Intell., 2014

Breaking Conditional Symmetry in Automated Constraint Modelling with CONJURE.

[BibT_eX]

[DOI]

Ozgur Akgun

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.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2014

Discriminating Instance Generation for Automated Constraint Model Selection.

[BibT_eX]

[DOI]

Bilal Syed Hussain

Glenna F. Nightingale

Proceedings of the Principles and Practice of Constraint Programming, 2014

Cloud Benchmarking for Performance.

[BibT_eX]

[DOI]

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

Optimal Deployment of Geographically Distributed Workflow Engines on the Cloud.

[BibT_eX]

[DOI]

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

2013

Short and Long Supports for Constraint Propagation.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2013

Automated Symmetry Breaking and Model Selection in Conjure.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2013

2012

Qualitative Modelling via Constraint Programming: Past, Present and Future

[BibT_eX]

[DOI]

Thomas W. Kelsey

CoRR, 2012

An evaluation of machine learning in algorithm selection for search problems.

[BibT_eX]

[DOI]

AI Commun., 2012

An empirical study of learning and forgetting constraints.

[BibT_eX]

[DOI]

Neil C. A. Moore

AI Commun., 2012

An automated approach to generating efficient constraint solvers.

[BibT_eX]

[DOI]

Dharini Balasubramaniam

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

Modelling Constraint Solver Architecture Design as a Constraint Problem

[BibT_eX]

[DOI]

CoRR, 2011

Conjure Revisited: Towards Automated Constraint Modelling

[BibT_eX]

[DOI]

Ozgur Akgun

Brahim Hnich

CoRR, 2011

Dominion: An Architecture-Driven Approach to Generating Efficient Constraint Solvers.

[BibT_eX]

[DOI]

Dharini Balasubramaniam

Lakshitha de Silva

Proceedings of the 9th Working IEEE/IFIP Conference on Software Architecture, 2011

A Preliminary Evaluation of Machine Learning in Algorithm Selection for Search Problems.

[BibT_eX]

[DOI]

Proceedings of the Fourth Annual Symposium on Combinatorial Search, 2011

Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Extensible Automated Constraint Modelling.

[BibT_eX]

[DOI]

Ozgur Akgun

Brahim Hnich

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

[BibT_eX]

[DOI]

CoRR, 2010

Using machine learning to make constraint solver implementation decisions

[BibT_eX]

[DOI]

CoRR, 2010

Lazy Explanations for Constraint Propagators.

[BibT_eX]

[DOI]

Neil C. A. Moore

Proceedings of the Practical Aspects of Declarative Languages, 2010

Learning When to Use Lazy Learning in Constraint Solving.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

Ensemble Classification for Constraint Solver Configuration.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

Generating Special-Purpose Stateless Propagators for Arbitrary Constraints.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

2009

Minimal ordering constraints for some families of variable symmetries.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2009

Filtering algorithms for the multiset ordering constraint.

[BibT_eX]

[DOI]

Artif. Intell., 2009

Automatically Enhancing Constraint Model Instances during Tailoring.

[BibT_eX]

[DOI]

Andrea Rendl

Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

Common Subexpressions in Constraint Models of Planning Problems.

[BibT_eX]

[DOI]

Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

In Search of a Better Method to Break Row and Column Symmetries.

[BibT_eX]

[DOI]

Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

Confluence of Reduction Rules for Lexicographic Ordering Constraints.

[BibT_eX]

[DOI]

Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

Modelling Equidistant Frequency Permutation Arrays in Constraints.

[BibT_eX]

[DOI]

Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2009

Snake Lex: An Alternative to Double Lex.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2009

2008

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

[BibT_eX]

[DOI]

Constraints An Int. J., 2008

Essence : A constraint language for specifying combinatorial problems.

[BibT_eX]

[DOI]

Warwick Harvey

Bernadette Martínez Hernández

Constraints An Int. J., 2008

Generalised arc consistency for the AllDifferent constraint: An empirical survey.

[BibT_eX]

[DOI]

Artif. Intell., 2008

2007

Search in the patience game 'Black Hole'.

[BibT_eX]

[DOI]

AI Commun., 2007

Tailoring Solver-Independent Constraint Models: A Case Study with Essence' and Minion.

[BibT_eX]

[DOI]

Andrea Rendl

Proceedings of the Abstraction, 2007

The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems.

[BibT_eX]

[DOI]

Matthew Grum

Bernadette Martínez Hernández

Proceedings of the IJCAI 2007, 2007

Data Structures for Generalised Arc Consistency for Extensional Constraints.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Uncertainty and Change.

[BibT_eX]

[DOI]

Kenneth N. Brown

Proceedings of the Handbook of Constraint Programming, 2006

Modelling and solving English Peg Solitaire.

[BibT_eX]

[DOI]

Angela Miguel

Armagan Tarim

Comput. Oper. Res., 2006

Propagation algorithms for lexicographic ordering constraints.

[BibT_eX]

[DOI]

Artif. Intell., 2006

Minion: A Fast Scalable Constraint Solver.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Automatic Generation of Implied Constraints.

[BibT_eX]

[DOI]

John William Charnley

Simon Colton

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Watched Literals for Constraint Propagation in Minion.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2006

2005

Exhibiting the behavior of time-delayed systems via an extension to qualitative simulation.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part A, 2005

Transforming and Refining Abstract Constraint Specifications.

[BibT_eX]

[DOI]

Proceedings of the Abstraction, 2005

The Rules of Constraint Modelling.

[BibT_eX]

[DOI]

Bernadette Martínez Hernández

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.

[BibT_eX]

[DOI]

Armagan Tarim

Proceedings of the Recent Advances in Constraints, 2005

The Temporal Knapsack Problem and Its Solution.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2005

Conditional Symmetry Breaking.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

Dynamic flexible constraint satisfaction and its application to AI planning.

[BibT_eX]

[DOI]

Springer, ISBN: 1-85233-764-8, 2004

Hybrid Modelling for Robust Solving.

[BibT_eX]

[DOI]

Ann. Oper. Res., 2004

Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern.

[BibT_eX]

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Echelon Stock Formulation of Arborescent Distribution Systems: An Application to the Wagner-Whitin Problem.

[BibT_eX]

[DOI]

Armagan Tarim

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2004

2003

Fuzzy rrDFCSP and planning.

[BibT_eX]

[DOI]

Artif. Intell., 2003

Multiset Ordering Constraints.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-03, 2003

Constraints for Breaking More Row and Column Symmetries.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2003

2002

Global Constraints for Lexicographic Orderings.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2002

Breaking Row and Column Symmetries in Matrix Models.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2002

CGRASS: A System for Transforming Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Toby Walsh

Proceedings of the Recent Advances in Constraints, 2002

2001

Dynamic flexible constraint satisfaction and its application to AI planning.

[BibT_eX]

[DOI]

PhD thesis, 2001

Solution Techniques for Constraint Satisfaction Problems: Advanced Approaches.

[BibT_eX]

[DOI]

Artif. Intell. Rev., 2001

Solution Techniques for Constraint Satisfaction Problems: Foundations.

[BibT_eX]

[DOI]

Artif. Intell. Rev., 2001

Constraint Generation via Automated Theory Formation.

[BibT_eX]

[DOI]

Simon Colton

Proceedings of the Principles and Practice of Constraint Programming, 2001

2000

Dynamic Flexible Constraint Satisfaction.

[BibT_eX]

[DOI]

Appl. Intell., 2000

Flexible Graphplan.

[BibT_eX]

Peter Jarvis

Proceedings of the ECAI 2000, 2000

1999

Hard, flexible and dynamic constraint satisfaction.

[BibT_eX]

[DOI]