Ian Miguel

From MaRDI portal
(Redirected from Person:814479)


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