@inproceedings{gent10solverdesign,
    author = {Ian Gent and Lars Kotthof\/f and Ian Miguel and Peter Nightingale},
    title = {Machine learning for constraint solver design -- a case study for the alldifferent constraint},
    booktitle = {3rd Workshop on Techniques for implementing Constraint Programming Systems (TRICS)},
    year      = {2010},
    pages = {13--25}
}