A GUI for modeling regular constraints
Autor
Soto R.
Crawford B.
Riquelme D.
Monfroy E.
Resumen
In constraint programming, a regular constraint is a special global constraint very useful in scheduling, in particular for the easy modeling of rostering problems. This constraint enforces a sequence of variables to take a value defined by a deterministic finite automaton. In practice, when the user models the problem, regular constraints are programmed in the language of the solving engine, which is in most cases a proprietary language or a classic programming language. However, there exists several modeling languages and very different encoding patterns for the regular constraint, turning the modeling into a tedious task. In this paper, we present a simple GUI for modeling regular constraints that clearly increases the usability for end-users. The tool allows to easily draw finite automata, which are automatically translated to the corresponding code of the regular constraint for the target solving engine. © Springer-Verlag Berlin Heidelberg 2013.
Colecciones
Ítems relacionados
Mostrando ítems relacionados por Título, autor o materia.
-
Conference Paper
Automatic triggering of constraint propagation (2020)
Monfroy E.; Crawford B.; Soto R. (2013) -
Conference Paper
Autonomous Search: Towards the Easy Tuning of Constraint Programming Solvers (2020)
Crawford B.; Soto R.; Olivares R.; Herrera R.; Monfroy E.; Paredes F. (Springer Verlag, 2014) -
Conference Paper
Adaptive and multilevel approach for constraint solving (2020)
de la Barra C.L.; Crawford B.; Soto R.; Monfroy E. (Springer Verlag, 2013)