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]
No references recorded for this publication.
No citations of this publication recorded.