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]
@inproceedings{RodriguezFP15,
title = {Implied Constraints for Automaton Constraints},
author = {María Andreína Francisco Rodríguez and Pierre Flener and Justin Pearson},
year = {2015},
url = {http://www.easychair.org/publications/paper/Implied_Constraints_for_Automaton_Constraints},
researchr = {https://researchr.org/publication/RodriguezFP15},
cites = {0},
citedby = {0},
pages = {113-126},
booktitle = {Global Conference on Artificial Intelligence, GCAI 2015, Tbilisi, Georgia, October 16-19, 2015},
editor = {Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov},
volume = {36},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}