María Andreína Francisco Rodríguez, Pierre Flener, Justin Pearson. Implied Constraints for Automaton Constraints. In Georg Gottlob, Geoff Sutcliffe, Andrei Voronkov, editors, Global Conference on Artificial Intelligence, GCAI 2015, Tbilisi, Georgia, October 16-19, 2015. Volume 36 of EPiC Series in Computing, pages 113-126, EasyChair, 2015. [doi]
Abstract is missing.