Using finite transducers for describing and synthesising structural time-series constraints

Nicolas Beldiceanu, Mats Carlsson, RĂ©mi Douence, Helmut Simonis. Using finite transducers for describing and synthesising structural time-series constraints. Constraints, 21(1):22-40, 2016. [doi]

Abstract

Abstract is missing.