Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/ictai/CatBDD13
%A Cat, Broes De
%A Bogaerts, Bart
%A Devriendt, Jo
%A Denecker, Marc
%B ICTAI
%D 2013
%I IEEE Computer Society
%K
%P 1068-1075
%T Model Expansion in the Presence of Function Symbols Using Constraint Programming.
%U http://dblp.uni-trier.de/db/conf/ictai/ictai2013.html#CatBDD13
%@ 978-1-4799-2971-9
@inproceedings{conf/ictai/CatBDD13,
added-at = {2023-12-12T20:55:17.000+0100},
author = {Cat, Broes De and Bogaerts, Bart and Devriendt, Jo and Denecker, Marc},
biburl = {https://www.bibsonomy.org/bibtex/2a56c360c11cfaa85d202f191032297d8/admin},
booktitle = {ICTAI},
crossref = {conf/ictai/2013},
ee = {http://doi.ieeecomputersociety.org/10.1109/ICTAI.2013.159},
interhash = {36613c01f2dbe9d4854a60c235e3a077},
intrahash = {a56c360c11cfaa85d202f191032297d8},
isbn = {978-1-4799-2971-9},
keywords = {},
pages = {1068-1075},
publisher = {IEEE Computer Society},
timestamp = {2023-12-12T20:55:17.000+0100},
title = {Model Expansion in the Presence of Function Symbols Using Constraint Programming.},
url = {http://dblp.uni-trier.de/db/conf/ictai/ictai2013.html#CatBDD13},
year = 2013
}