The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Ian Miguel" ( http://dblp.L3S.de/Authors/Ian_Miguel )

URL (Homepage):  https://orcid.org/0000-0002-6930-2686  Author page on DBLP  Author page in RDF  Community of Ian Miguel in ASPL-2

Publication years (Num. hits)
1999-2004 (17) 2005-2007 (17) 2008-2010 (20) 2011-2014 (22) 2015-2019 (21)
Publication types (Num. hits)
article(38) book(1) incollection(1) inproceedings(55) phdthesis(1) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10 occurrences of 9 keywords

Results
Found 98 publication records. Showing 97 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Blesson Varghese, Ozgur Akgun, Ian Miguel, Long Thai, Adam Barker Cloud Benchmarking for Maximising Performance of Scientific Applications. Search on Bibsonomy IEEE Trans. Cloud Computing The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh A Commentary on "Breaking Row and Column Symmetries in Matrix Models". Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Gökberk Koçak, Özgür Akgün, Tias Guns, Ian Miguel Towards Improving Solution Dominance with Incomparability Conditions: A case-study using Generator Itemset Mining. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Carlos Ansótegui, Miquel Bofill, Jordi Coll, Nguyen Dang, Juan Luis Esteban, Ian Miguel, Peter Nightingale, András Z. Salamon, Josep Suy, Mateu Villaret Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Patrick Spracklen, Nguyen Dang, Özgür Akgün, Ian Miguel Automatic Streamlining for Constrained Optimisation. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Özgür Akgün, Nguyen Dang, Ian Miguel, András Z. Salamon, Christopher Stone Instance Generation via Generator Instances. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Saad Attieh, Nguyen Dang, Christopher Jefferson, Ian Miguel, Peter Nightingale Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ian P. Gent, Ciaran McCreesh, Ian Miguel, Neil C. A. Moore, Peter Nightingale, Patrick Prosser, Chris Unsworth A Review of Literature on Parallel Constraint Solving. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Özgür Akgün, Ian Miguel Modelling Langford's Problem: A Viewpoint for Search. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Ian P. Gent, Ian Miguel, Peter Nightingale, Ciaran McCreesh, Patrick Prosser, Neil C. A. Moore, Chris Unsworth A review of literature on parallel constraint solving. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gokberk Kocak, Ozgur Akgun, Ian Miguel, Peter Nightingale Closed Frequent Itemset Mining with Arbitrary Side Constraints. Search on Bibsonomy ICDM Workshops The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon Automatic Discovery and Exploitation of Promising Subproblems for Tabulation. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Patrick Spracklen, Özgür Akgün, Ian Miguel Automatic Generation and Selection of Streamlined Constraint Models via Monte Carlo Search on a Model Lattice. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale Metamorphic Testing of Constraint Solvers. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Özgür Akgün, Saad Attieh, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon, Patrick Spracklen, James Wetter A Framework for Constraint Based Local Search using Essence. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Peter Nightingale, Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Patrick Spracklen Automatically improving constraint models in Savile Row. Search on Bibsonomy Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Blesson Varghese, Ozgur Akgun, Ian Miguel, Long Thai, Adam Barker Cloud Benchmarking For Maximising Performance of Scientific Applications. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1James Wetter, Ozgur Akgun, Adam Barker, Martin Dominik, Ian Miguel, Blesson Varghese Cloud-based E-Infrastructure for Scheduling Astronomical Observations. Search on Bibsonomy e-Science The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1James Wetter, Özgür Akgün, Ian Miguel Automatically Generating Streamlined Constraint Models with Essence and Conjure. Search on Bibsonomy CP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Peter Nightingale, Patrick Spracklen, Ian Miguel Automatically Improving SAT Encoding of Constraint Problems Through Common Subexpression Elimination in Savile Row. Search on Bibsonomy CP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ian P. Gent, Christopher Jefferson, Steve Linton, Ian Miguel, Peter Nightingale Generating custom propagators for arbitrary constraints. Search on Bibsonomy Artif. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Long Thai, Adam Barker, Blesson Varghese, Ozgur Akgun, Ian Miguel Optimal Deployment of Geographically Distributed Workflow Engines on the Cloud. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Peter Nightingale, Ian Philip Gent, Christopher Jefferson, Ian Miguel Short and Long Supports for Constraint Propagation. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Blesson Varghese, Ozgur Akgun, Ian Miguel, Long Thai, Adam Barker Cloud Benchmarking for Performance. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Thomas W. Kelsey, Lars Kotthoff, Christopher Jefferson, Stephen A. Linton, Ian Miguel, Peter Nightingale, Ian P. Gent Qualitative modelling via constraint programming. Search on Bibsonomy Constraints The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Long Thai, Adam Barker, Blesson Varghese, Ozgur Akgun, Ian Miguel Optimal Deployment of Geographically Distributed Workflow Engines on the Cloud. Search on Bibsonomy CloudCom The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Blesson Varghese, Ozgur Akgun, Ian Miguel, Long Thai, Adam Barker Cloud Benchmarking for Performance. Search on Bibsonomy CloudCom The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ozgur Akgun, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale Breaking Conditional Symmetry in Automated Constraint Modelling with CONJURE. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ian P. Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Glenna F. Nightingale, Peter Nightingale Discriminating Instance Generation for Automated Constraint Model Selection. Search on Bibsonomy CP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Peter Nightingale, Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination. Search on Bibsonomy CP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Peter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel Short and Long Supports for Constraint Propagation. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ozgur Akgun, Alan M. Frisch, Ian P. Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale Automated Symmetry Breaking and Model Selection in Conjure. Search on Bibsonomy CP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Lars Kotthoff, Ian P. Gent, Ian Miguel An evaluation of machine learning in algorithm selection for search problems. Search on Bibsonomy AI Commun. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ian P. Gent, Ian Miguel, Neil C. A. Moore An empirical study of learning and forgetting constraints. Search on Bibsonomy AI Commun. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Thomas W. Kelsey, Lars Kotthoff, Christopher Jefferson, Stephen A. Linton, Ian Miguel, Peter Nightingale, Ian P. Gent Qualitative Modelling via Constraint Programming: Past, Present and Future Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Dharini Balasubramaniam, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale An automated approach to generating efficient constraint solvers. Search on Bibsonomy ICSE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ozgur Akgun, Alan M. Frisch, Brahim Hnich, Christopher Jefferson, Ian Miguel Conjure Revisited: Towards Automated Constraint Modelling Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Ian P. Gent, Christopher Jefferson, Lars Kotthoff, Ian Miguel Modelling Constraint Solver Architecture Design as a Constraint Problem Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Dharini Balasubramaniam, Lakshitha de Silva, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale Dominion: An Architecture-Driven Approach to Generating Efficient Constraint Solvers. Search on Bibsonomy WICSA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ozgur Akgun, Ian Miguel, Christopher Jefferson, Alan M. Frisch, Brahim Hnich Extensible Automated Constraint Modelling. Search on Bibsonomy AAAI The full citation details ... 2011 DBLP  BibTeX  RDF
1Lars Kotthoff, Ian P. Gent, Ian Miguel A Preliminary Evaluation of Machine Learning in Algorithm Selection for Search Problems. Search on Bibsonomy SOCS The full citation details ... 2011 DBLP  BibTeX  RDF
1Peter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Lars Kotthoff, Ian P. Gent, Ian Miguel Using machine learning to make constraint solver implementation decisions Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Ian P. Gent, Lars Kotthoff, Ian Miguel, Peter Nightingale Machine learning for constraint solver design -- A case study for the alldifferent constraint Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Ian P. Gent, Ian Miguel, Neil C. A. Moore Lazy Explanations for Constraint Propagators. Search on Bibsonomy PADL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ian P. Gent, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Neil C. A. Moore, Peter Nightingale, Karen E. Petrie Learning When to Use Lazy Learning in Constraint Solving. Search on Bibsonomy ECAI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Lars Kotthoff, Ian Miguel, Peter Nightingale Ensemble Classification for Constraint Solver Configuration. Search on Bibsonomy CP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale Generating Special-Purpose Stateless Propagators for Arbitrary Constraints. Search on Bibsonomy CP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Andrew Grayland, Christopher Jefferson, Ian Miguel, Colva M. Roney-Dougal Minimal ordering constraints for some families of variable symmetries. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh Filtering algorithms for the multiset ordering constraint. Search on Bibsonomy Artif. Intell. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh Multiset Ordering Constraints Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh Filtering Algorithms for the Multiset Ordering Constraint Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal Snake Lex: An Alternative to Double Lex. Search on Bibsonomy CP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sophie Huczynska, Paul McKay, Ian Miguel, Peter Nightingale Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics. Search on Bibsonomy CP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal In Search of a Better Method to Break Row and Column Symmetries. Search on Bibsonomy SARA The full citation details ... 2009 DBLP  BibTeX  RDF
1Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal Confluence of Reduction Rules for Lexicographic Ordering Constraints. Search on Bibsonomy SARA The full citation details ... 2009 DBLP  BibTeX  RDF
1Andrea Rendl, Ian Miguel, Ian P. Gent, Christopher Jefferson Automatically Enhancing Constraint Model Instances during Tailoring. Search on Bibsonomy SARA The full citation details ... 2009 DBLP  BibTeX  RDF
1Ian P. Gent, Paul McKay, Ian Miguel, Peter Nightingale, Sophie Huczynska Modelling Equidistant Frequency Permutation Arrays in Constraints. Search on Bibsonomy SARA The full citation details ... 2009 DBLP  BibTeX  RDF
1Andrea Rendl, Ian Miguel, Ian P. Gent, Peter Gregory Common Subexpressions in Constraint Models of Planning Problems. Search on Bibsonomy SARA The full citation details ... 2009 DBLP  BibTeX  RDF
1Ian P. Gent, Ian Miguel, Peter Nightingale Generalised arc consistency for the AllDifferent constraint: An empirical survey. Search on Bibsonomy Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch, Warwick Harvey, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel Essence : A constraint language for specifying combinatorial problems. Search on Bibsonomy Constraints The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Specification languages, Constraint programming, Combinatorial problems, Constraint languages, Constraint modelling
1Alan M. Frisch, Ian Miguel Introduction to the Special Issue on Abstraction and Automation in Constraint Modelling. Search on Bibsonomy Constraints The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ian P. Gent, Christopher Jefferson, Tom Kelsey, Inês Lynce, Ian Miguel, Peter Nightingale, Barbara M. Smith, Armagan Tarim Search in the patience game 'Black Hole'. Search on Bibsonomy AI Commun. The full citation details ... 2007 DBLP  BibTeX  RDF
1Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale Data Structures for Generalised Arc Consistency for Extensional Constraints. Search on Bibsonomy AAAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Alan M. Frisch, Matthew Grum, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Ian Miguel, Wheeler Ruml (eds.) Abstraction, Reformulation, and Approximation, 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings Search on Bibsonomy SARA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ian P. Gent, Ian Miguel, Andrea Rendl Tailoring Solver-Independent Constraint Models: A Case Study with Essence' and Minion. Search on Bibsonomy SARA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Kenneth N. Brown, Ian Miguel Uncertainty and Change. Search on Bibsonomy Handbook of Constraint Programming The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Christopher Jefferson, Angela Miguel, Ian Miguel, Armagan Tarim Modelling and solving English Peg Solitaire. Search on Bibsonomy Computers & OR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh Propagation algorithms for lexicographic ordering constraints. Search on Bibsonomy Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ian P. Gent, Christopher Jefferson, Ian Miguel Minion: A Fast Scalable Constraint Solver. Search on Bibsonomy ECAI The full citation details ... 2006 DBLP  BibTeX  RDF
1John William Charnley, Simon Colton, Ian Miguel Automatic Generation of Implied Constraints. Search on Bibsonomy ECAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Ian P. Gent, Christopher Jefferson, Ian Miguel Watched Literals for Constraint Propagation in Minion. Search on Bibsonomy CP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ian Miguel, Qiang Shen Exhibiting the behavior of time-delayed systems via an extension to qualitative simulation. Search on Bibsonomy IEEE Trans. Systems, Man, and Cybernetics, Part A The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Mark Bartlett, Alan M. Frisch, Youssef Hamadi, Ian Miguel, Armagan Tarim, Chris Unsworth The Temporal Knapsack Problem and Its Solution. Search on Bibsonomy CPAIOR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ian P. Gent, Tom Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith Conditional Symmetry Breaking. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel The Rules of Constraint Modelling. Search on Bibsonomy IJCAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Armagan Tarim, Ian Miguel A Hybrid Benders' Decomposition Method for Solving Stochastic Constraint Programs with Linear Recourse. Search on Bibsonomy CSCLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh Transforming and Refining Abstract Constraint Specifications. Search on Bibsonomy SARA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh Hybrid Modelling for Robust Solving. Search on Bibsonomy Annals OR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF modelling, integration, application, constraint programming, integer linear programming
1Armagan Tarim, Ian Miguel Echelon Stock Formulation of Arborescent Distribution Systems: An Application to the Wagner-Whitin Problem. Search on Bibsonomy CPAIOR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch, Christopher Jefferson, Ian Miguel Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern. Search on Bibsonomy ECAI The full citation details ... 2004 DBLP  BibTeX  RDF
1Ian Miguel Dynamic flexible constraint satisfaction and its application to AI planning. Search on Bibsonomy 2004   RDF
1Ian Miguel, Qiang Shen Fuzzy rrDFCSP and planning. Search on Bibsonomy Artif. Intell. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch, Christopher Jefferson, Ian Miguel Constraints for Breaking More Row and Column Symmetries. Search on Bibsonomy CP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh Multiset Ordering Constraints. Search on Bibsonomy IJCAI The full citation details ... 2003 DBLP  BibTeX  RDF
1Pierre Flener, Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Justin Pearson, Toby Walsh Breaking Row and Column Symmetries in Matrix Models. Search on Bibsonomy CP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh Global Constraints for Lexicographic Orderings. Search on Bibsonomy CP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alan M. Frisch, Ian Miguel, Toby Walsh CGRASS: A System for Transforming Constraint Satisfaction Problems. Search on Bibsonomy International Workshop on Constraint Solving and Constraint Logic Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Ian Miguel, Qiang Shen Solution Techniques for Constraint Satisfaction Problems: Foundations. Search on Bibsonomy Artif. Intell. Rev. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Ian Miguel, Qiang Shen Solution Techniques for Constraint Satisfaction Problems: Advanced Approaches. Search on Bibsonomy Artif. Intell. Rev. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Simon Colton, Ian Miguel Constraint Generation via Automated Theory Formation. Search on Bibsonomy CP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Ian Miguel Dynamic flexible constraint satisfaction and its application to AI planning. Search on Bibsonomy 2001   RDF
1Ian Miguel, Qiang Shen Dynamic Flexible Constraint Satisfaction. Search on Bibsonomy Appl. Intell. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Ian Miguel, Peter Jarvis, Qiang Shen Flexible Graphplan. Search on Bibsonomy ECAI The full citation details ... 2000 DBLP  BibTeX  RDF
1Ian Miguel, Qiang Shen Hard, flexible and dynamic constraint satisfaction. Search on Bibsonomy Knowledge Eng. Review The full citation details ... 1999 DBLP  BibTeX  RDF
Displaying result #1 - #97 of 97 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license