Building industrial applications with constraint programming
Constraints in computational logics
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Timid acquisition of constraint satisfaction problems
Proceedings of the 2005 ACM symposium on Applied computing
An Agent for Constraint Acquisition and Emergence
SYNASC '07 Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Automatic Generation of Implied Constraints
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Acquiring constraint networks using a SAT-based version space algorithm
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Learning implied global constraints
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Query-driven constraint acquisition
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Argumentation Based Constraint Acquisition
ICDM '09 Proceedings of the 2009 Ninth IEEE International Conference on Data Mining
Generalized constraint acquisition
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Constraints of difference and equality: a complete taxonomic characterisation
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
A SAT-based version space algorithm for acquiring constraint satisfaction problems
ECML'05 Proceedings of the 16th European conference on Machine Learning
Constraints
A model seeker: extracting global constraint models from positive examples
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
On the reification of global constraints
Constraints
Hi-index | 0.00 |
In this paper we describe a Constraint Seeker application which provides a web interface to search for global constraints in the global constraint catalog, given positive and negative, fully instantiated (ground) examples. Based on the given instances the tool returns a ranked list of matching constraints, the rank indicating whether the constraint is likely to be the intended constraint of the user. We give some examples of use cases and generated output, describe the different elements of the search and ranking process, discuss the role of constraint programming in the different tools used, and provide evaluation results over the complete global constraint catalog. The Constraint Seeker is an example for the use of generic meta-data provided in the catalog to solve a specific problem.