Conjunto: constraint logic programming with finite set domains
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
The OPL optimization programming language
The OPL optimization programming language
Breaking Row and Column Symmetries in Matrix Models
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Handbook of Combinatorial Designs, Second Edition (Discrete Mathematics and Its Applications)
Handbook of Combinatorial Designs, Second Edition (Discrete Mathematics and Its Applications)
NP-SPEC: an executable specification language for solving all problems in NP
Computer Languages
Propositional Satisfiability and Constraint Programming: A comparative survey
ACM Computing Surveys (CSUR)
Model-driven constraint programming
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
The Design of the Zinc Modelling Language
Constraints
Expressive power and abstraction in Essence
Constraints
Normalization Issues in Mathematical Representations
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Combining Two Structured Domains for Modeling Various Graph Matching Problems
Recent Advances in Constraints
MINION: A Fast, Scalable, Constraint Solver
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
The design of ESSENCE: a constraint language for specifying combinatorial problems
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Abstraction and reformulation in the generation of constraint models: extended abstract
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Tailoring solver-independent constraint models: a case study with ESSENCE' and MINION
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Constraint processing in relational database systems: from theory to implementation
Proceedings of the 2010 ACM Symposium on Applied Computing
Flexible, rule-based constraint model linearisation
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
Heuristics for resolution in propositional logic
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Minimal ordering constraints for some families of variable symmetries
Annals of Mathematics and Artificial Intelligence
Transforming and refining abstract constraint specifications
SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
MiningZinc: a modeling language for constraint-based mining
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
Many and diverse combinatorial problems have been solved successfully using finite-domain constraint programming. However, to apply constraint programming to a particular domain, the problem must first be modelled as a constraint satisfaction or optimisation problem. Since constraints provide a rich language, typically many alternative models exist. Formulating a good model therefore requires a great deal of expertise. This paper describes CONJURE, a system that refines a specification of a problem in the abstract constraint specification language ESSENCE into a set of alternative constraint models. Refinement is compositional: alternative constraint models are generated by composing refinements of the components of the specification. Experimental results demonstrate that CONJURE is able to generate a variety of models for practical problems from their ESSENCE specifications.