@techreport{kotthoff09survey,
    author = {Lars Kotthof\/f},
    title = {Constraint solvers: An empirical evaluation of design decisions},
    institution = {University of St Andrews, Centre for Interdisciplinary Research in Computational Algebra},
    type = {CIRCA preprint},
    number = {2009/7},
    year = {2009},
    note = {\url{http://www-circa.mcs.st-and.ac.uk/Preprints/solver-design.pdf}}
}