@inproceedings{balasubramaniam_automated_2012,
    title = {An Automated Approach to Generating Efficient Constraint Solvers},
    author = {Dharini Balasubramaniam and Ian P. Gent and Christopher Jefferson and Lars Kotthoff and Ian Miguel and Peter Nightingale},
    booktitle = {34th International Conference on Software Engineering},
    month = jun,
    year = 2012
}