Nicolas Beldiceanu, Helmut Simonis. ModelSeeker: Extracting Global Constraint Models from Positive Examples. In Christian Bessiere, Luc De Raedt, Lars Kotthoff, Siegfried Nijssen, Barry O'Sullivan, Dino Pedreschi, editors, Data Mining and Constraint Programming - Foundations of a Cross-Disciplinary Approach. Volume 10101 of Lecture Notes in Computer Science, pages 77-95, Springer, 2016. [doi]
@incollection{BeldiceanuS16,
title = {ModelSeeker: Extracting Global Constraint Models from Positive Examples},
author = {Nicolas Beldiceanu and Helmut Simonis},
year = {2016},
doi = {10.1007/978-3-319-50137-6_4},
url = {http://dx.doi.org/10.1007/978-3-319-50137-6_4},
researchr = {https://researchr.org/publication/BeldiceanuS16},
cites = {0},
citedby = {0},
pages = {77-95},
booktitle = {Data Mining and Constraint Programming - Foundations of a Cross-Disciplinary Approach},
editor = {Christian Bessiere and Luc De Raedt and Lars Kotthoff and Siegfried Nijssen and Barry O'Sullivan and Dino Pedreschi},
volume = {10101},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-50136-9},
}