Broes de Cat, Bart Bogaerts, Jo Devriendt, Marc Denecker. Model Expansion in the Presence of Function Symbols Using Constraint Programming. In 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, Herndon, VA, USA, November 4-6, 2013. pages 1068-1075, IEEE, 2013. [doi]
@inproceedings{CatBDD13,
title = {Model Expansion in the Presence of Function Symbols Using Constraint Programming},
author = {Broes de Cat and Bart Bogaerts and Jo Devriendt and Marc Denecker},
year = {2013},
doi = {10.1109/ICTAI.2013.159},
url = {http://dx.doi.org/10.1109/ICTAI.2013.159},
researchr = {https://researchr.org/publication/CatBDD13},
cites = {0},
citedby = {0},
pages = {1068-1075},
booktitle = {2013 IEEE 25th International Conference on Tools with Artificial Intelligence, Herndon, VA, USA, November 4-6, 2013},
publisher = {IEEE},
}