Ian Miguel

From MaRDI portal


List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
\textsc{Conjure}: automatic generation of constraint models from problem specifications
Artificial Intelligence
2022-08-11Paper
A review of literature on parallel constraint solving
Theory and Practice of Logic Programming
2018-12-04Paper
Automatically improving constraint models in Savile Row
Artificial Intelligence
2017-11-16Paper
Generating custom propagators for arbitrary constraints
Artificial Intelligence
2014-06-10Paper
Short and long supports for constraint propagation
Journal of Artificial Intelligence Research
2013-02-25Paper
Minimal ordering constraints for some families of variable symmetries
Annals of Mathematics and Artificial Intelligence
2010-06-16Paper
Principles and Practice of Constraint Programming – CP 2003
Lecture Notes in Computer Science
2010-03-02Paper
Filtering algorithms for the multiset ordering constraint
Artificial Intelligence
2009-08-31Paper
Generalised arc consistency for the AllDifferent constraint: an empirical survey
Artificial Intelligence
2009-07-17Paper
Watched Literals for Constraint Propagation in Minion
Principles and Practice of Constraint Programming - CP 2006
2008-09-09Paper
Conditional Symmetry Breaking
Principles and Practice of Constraint Programming - CP 2005
2008-09-09Paper
Essence: A constraint language for specifying combinatorial problems
Constraints
2008-09-02Paper
The Temporal Knapsack Problem and Its Solution
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
2008-03-17Paper
Search in the patience game `Black Hole'
 
2008-01-14Paper
Propagation algorithms for lexicographic ordering constraints
Artificial Intelligence
2007-10-23Paper
Recent Advances in Constraints
Lecture Notes in Computer Science
2007-05-02Paper
Modelling and solving English peg solitaire
Computers & Operations Research
2006-05-16Paper
Fuzzy \(rr\)DFCSP and planning
Artificial Intelligence
2006-02-07Paper
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Lecture Notes in Computer Science
2005-12-27Paper
Hybrid modelling for robust solving
Annals of Operations Research
2004-08-20Paper
scientific article; zbMATH DE number 2084734 (Why is no real title available?)
 
2004-08-09Paper
scientific article; zbMATH DE number 1975610 (Why is no real title available?)
 
2003-09-07Paper
Solution techniques for constraint satisfaction problems: Foundations
Artificial Intelligence Review
2001-09-09Paper
Solution techniques for constraint satisfaction problems: Advanced approaches
Artificial Intelligence Review
2001-09-09Paper


Research outcomes over time


This page was built for person: Ian Miguel