ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
The GNU Prolog system and its implementation
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
ACM Transactions on Programming Languages and Systems (TOPLAS)
Modeling Engineering Structures with Constrained Objects
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Modelica - A Unified Object-Oriented Language for System Modelling and Simulation
ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
A Visual Constraint-Programming Environment
CP '95 Proceedings of the First International Conference on Principles and Practice of Constraint Programming
Constraint Processing
Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques
ACM Transactions on Mathematical Software (TOMS)
Principles of Constraint Programming
Principles of Constraint Programming
The Design of COMMA: An Extensible Framework for Mapping Constrained Objects to Native Solver Models
ICTAI '07 Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence - Volume 01
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
Consistency techniques for numeric CSPs
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
The design of ESSENCE: a constraint language for specifying combinatorial problems
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
MiniZinc: towards a standard CP modelling language
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
| Hi-index | 0.00 |
A constrained-object model is a collection of classes parameterized by constraints and connected through composition and inheritance relations. A class is classically a factory of objects, that correctly linked are able to smoothly capture the inherent structure of complex and large constraint-based problems. Constrained-object languages are mainly focused on the definition of object-oriented, elegant, concise and expressive models. However, little attention has been paid in defining primitives to specify the search strategy of the solving process. In this paper, we address this concern by introducing an extensible formalism to define search strategies involving multiple options. Our main goal is to allow the user to customize, improve, and analyze the search process of constrained-object models.