Consistency of constraint networks induced by automaton-based constraint specifications

Maria Andreina Francisco Rodriguez, Pierre Flener, Justin Pearson
January 2011
Cite
Type
Conference paper
Publication
ModRef 2011, the 10th International Workshop on Constraint Modelling and Reformulation