Generalised Arc Consistency via the Synchronised Product of Finite Automata with Respect to a Constraint.

Nicolas Beldiceanu

Browse the full CPAIOR paper archive.