A GUI for modeling regular constraints

Soto R.; Crawford B.; Riquelme D.; Monfroy E.

dc.contributor.author	Soto R.
dc.contributor.author	Crawford B.
dc.contributor.author	Riquelme D.
dc.contributor.author	Monfroy E.
dc.date.accessioned	2020-09-02T22:28:45Z
dc.date.available	2020-09-02T22:28:45Z
dc.date.issued	2013
dc.identifier	10.1007/978-3-642-39473-7_131
dc.identifier.citation	373, PART I, 660-663
dc.identifier.issn	18650929
dc.identifier.uri	https://hdl.handle.net/20.500.12728/6331
dc.description	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.
dc.language.iso	en
dc.publisher	Springer Verlag
dc.subject	Constraint Modeling
dc.subject	Constraint Satisfaction
dc.subject	Regular Constraint
dc.subject	Computer programming
dc.subject	Engines
dc.subject	Finite automata
dc.subject	Graphical user interfaces
dc.subject	Problem oriented languages
dc.subject	Constraint model
dc.subject	Constraint programming
dc.subject	Constraint Satisfaction
dc.subject	Deterministic finite automata
dc.subject	Encoding patterns
dc.subject	Global constraints
dc.subject	Model languages
dc.subject	Regular Constraint
dc.subject	Constraint theory
dc.title	A GUI for modeling regular constraints
dc.type	Conference Paper