TY - GEN
T1 - A constraint seeker
T2 - 17th International Conference on Principles and Practice of Constraint Programming, CP 2011
AU - Beldiceanu, Nicolas
AU - Simonis, Helmut
PY - 2011
Y1 - 2011
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/80053011354
U2 - 10.1007/978-3-642-23786-7_4
DO - 10.1007/978-3-642-23786-7_4
M3 - Conference proceeding
AN - SCOPUS:80053011354
SN - 9783642237850
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 12
EP - 26
BT - Principles and Practice of Constraint Programming, CP 2011 - 17th International Conference, Proceedings
Y2 - 12 September 2011 through 16 September 2011
ER -