Ian Miguel

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
\textsc{Conjure}: automatic generation of constraint models from problem specifications	2022-08-11	Paper
A review of literature on parallel constraint solving	2018-12-04	Paper
Automatically improving constraint models in Savile Row	2017-11-16	Paper
Generating custom propagators for arbitrary constraints	2014-06-10	Paper
Short and long supports for constraint propagation	2013-02-25	Paper
Minimal ordering constraints for some families of variable symmetries	2010-06-16	Paper
Principles and Practice of Constraint Programming – CP 2003	2010-03-02	Paper
Filtering algorithms for the multiset ordering constraint	2009-08-31	Paper
Generalised arc consistency for the AllDifferent constraint: an empirical survey	2009-07-17	Paper
Watched Literals for Constraint Propagation in Minion	2008-09-09	Paper
Conditional Symmetry Breaking	2008-09-09	Paper
Essence: A constraint language for specifying combinatorial problems	2008-09-02	Paper
The Temporal Knapsack Problem and Its Solution	2008-03-17	Paper
Search in the patience game `Black Hole'	2008-01-14	Paper
Propagation algorithms for lexicographic ordering constraints	2007-10-23	Paper
Recent Advances in Constraints	2007-05-02	Paper
Modelling and solving English peg solitaire	2006-05-16	Paper
Fuzzy \(rr\)DFCSP and planning	2006-02-07	Paper
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems	2005-12-27	Paper
Hybrid modelling for robust solving	2004-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4475664	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4424851	2003-09-07	Paper
Solution techniques for constraint satisfaction problems: Foundations	2001-09-09	Paper
Solution techniques for constraint satisfaction problems: Advanced approaches	2001-09-09	Paper

Research outcomes over time

This page was built for person: Ian Miguel