10 citations · 36 across the 6 of their papers we have counts for
6 papers
Distributed solving through model splitting
Lars Kotthoff, Neil C. A. Moore
Constraint problems can be trivially solved in parallel by exploring different branches of the search tree concurrently. Previous approaches have focused on implementing this funct…
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…
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…
The Exact Closest String Problem as a Constraint Satisfaction Problem
Tom Kelsey, Lars Kotthoff
We report (to our knowledge) the first evaluation of Constraint Satisfaction as a computational framework for solving closest string problems. We show that careful consideration of…
Dominion -- A constraint solver generator
Lars Kotthoff
This paper proposes a design for a system to generate constraint solvers that are specialised for specific problem models. It describes the design in detail and gives preliminary e…
Constraint solvers: An empirical evaluation of design decisions
Lars Kotthoff
This paper presents an evaluation of the design decisions made in four state-of-the-art constraint solvers; Choco, ECLiPSe, Gecode, and Minion. To assess the impact of design decis…