@inproceedings{ccde7ef175da4996a6bdeac64df663b3,
title = "From generic to specific: off-line optimization for a general constraint solver",
author = "Ye Zhang and Torben Amtoft and Flemming Nielson",
year = "2008",
language = "English",
isbn = "978-1-60558-267-2",
pages = "45--54",
booktitle = "Proceedings of the ACM SIGPLAN Seventh International Conference on Generative Programming and Component Engineering",
publisher = "ACM",
note = "7th international conference on Generative programming and component engineering ; Conference date: 19-10-2008 Through 23-10-2008",
}