André Augusto Ciré, John N. Hooker, Tallys H. Yunes. Modeling with Metaconstraints and Semantic Typing of Variables. INFORMS Journal on Computing, 28(1):1-13, 2016. [doi]
@article{CireHY16,
title = {Modeling with Metaconstraints and Semantic Typing of Variables},
author = {André Augusto Ciré and John N. Hooker and Tallys H. Yunes},
year = {2016},
doi = {10.1287/ijoc.2015.0664},
url = {http://dx.doi.org/10.1287/ijoc.2015.0664},
researchr = {https://researchr.org/publication/CireHY16},
cites = {0},
citedby = {0},
journal = {INFORMS Journal on Computing},
volume = {28},
number = {1},
pages = {1-13},
}