Machine learning for constraint solver design -- A case study for the alldifferent constraint

Ian Gent, Lars Kotthoff, Ian Miguel +1

Constraint solvers are complex pieces of software which require many design decisions to be made by the implementer based on limited information. These decisions affect the perform…