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
Conditional Symmetry Breaking	2008-09-09	Paper
Watched Literals for Constraint Propagation in Minion	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
https://portal.mardi4nfdi.de/entity/Q5435012	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ian Miguel