10 citations · 18 across the 3 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2010★ 10 cited
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…
cs.AI2010
Using machine learning to make constraint solver implementation decisions
Lars Kotthoff, Ian Gent, Ian Miguel
Programs to solve so-called constraint problems are complex pieces of software which require many design decisions to be made more or less arbitrarily by the implementer. These dec…