Dharini Balasubramaniam, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale. An automated approach to generating efficient constraint solvers. In Martin Glinz, Gail C. Murphy, Mauro Pezzè, editors, 34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland. pages 661-671, IEEE, 2012. [doi]
@inproceedings{BalasubramaniamJKMN12,
title = {An automated approach to generating efficient constraint solvers},
author = {Dharini Balasubramaniam and Christopher Jefferson and Lars Kotthoff and Ian Miguel and Peter Nightingale},
year = {2012},
doi = {10.1109/ICSE.2012.6227151},
url = {http://dx.doi.org/10.1109/ICSE.2012.6227151},
researchr = {https://researchr.org/publication/BalasubramaniamJKMN12},
cites = {0},
citedby = {0},
pages = {661-671},
booktitle = {34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland},
editor = {Martin Glinz and Gail C. Murphy and Mauro Pezzè},
publisher = {IEEE},
isbn = {978-1-4673-1067-3},
}