Ian Miguel

From MaRDI portal
Person:814479

Available identifiers

zbMath Open miguel.ianMaRDI QIDQ814479

List of research outcomes

PublicationDate of PublicationType
\textsc{Conjure}: automatic generation of constraint models from problem specifications2022-08-11Paper
A review of literature on parallel constraint solving2018-12-04Paper
Automatically improving constraint models in Savile Row2017-11-16Paper
Generating custom propagators for arbitrary constraints2014-06-10Paper
Short and Long Supports for Constraint Propagation2013-02-25Paper
Minimal ordering constraints for some families of variable symmetries2010-06-16Paper
Principles and Practice of Constraint Programming – CP 20032010-03-02Paper
Filtering algorithms for the multiset ordering constraint2009-08-31Paper
Generalised arc consistency for the AllDifferent constraint: an empirical survey2009-07-17Paper
Conditional Symmetry Breaking2008-09-09Paper
Watched Literals for Constraint Propagation in Minion2008-09-09Paper
Essence: A constraint language for specifying combinatorial problems2008-09-02Paper
The Temporal Knapsack Problem and Its Solution2008-03-17Paper
https://portal.mardi4nfdi.de/entity/Q54350122008-01-14Paper
Propagation algorithms for lexicographic ordering constraints2007-10-23Paper
Recent Advances in Constraints2007-05-02Paper
Modelling and solving English peg solitaire2006-05-16Paper
Fuzzy \(rr\)DFCSP and planning2006-02-07Paper
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems2005-12-27Paper
Hybrid modelling for robust solving2004-08-20Paper
https://portal.mardi4nfdi.de/entity/Q44756642004-08-09Paper
https://portal.mardi4nfdi.de/entity/Q44248512003-09-07Paper
Solution techniques for constraint satisfaction problems: Foundations2001-09-09Paper
Solution techniques for constraint satisfaction problems: Advanced approaches2001-09-09Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Ian Miguel