 | 2011 |
| 13 |  | Ian P. Gent,
Lars Kotthoff:
Reliability of Computational Experiments on Virtualised Hardware.
AI for Data Center Management and Cloud Computing 2011 |
| 12 |  | Lars Kotthoff,
Ian P. Gent,
Ian Miguel:
A Preliminary Evaluation of Machine Learning in Algorithm Selection for Search Problems.
SOCS 2011 |
| 11 |  | Ian P. Gent,
Lars Kotthoff:
Reliability of Computational Experiments on Virtualised Hardware
CoRR abs/1110.6288: (2011) |
| 10 |  | Ian P. Gent,
Christopher Jefferson,
Lars Kotthoff,
Ian Miguel:
Modelling Constraint Solver Architecture Design as a Constraint Problem
CoRR abs/1110.6290: (2011) |
| 9 |  | Tom Kelsey,
Lars Kotthoff:
Exact Closest String as a Constraint Satisfaction Problem.
Procedia CS 4: 1062-1071 (2011) |
| 2010 |
| 8 |  | Lars Kotthoff,
Ian Miguel,
Peter Nightingale:
Ensemble Classification for Constraint Solver Configuration.
CP 2010: 321-329 |
| 7 |  | Ian P. Gent,
Christopher Jefferson,
Lars Kotthoff,
Ian Miguel,
Neil C. A. Moore,
Peter Nightingale,
Karen E. Petrie:
Learning When to Use Lazy Learning in Constraint Solving.
ECAI 2010: 873-878 |
| 6 |  | Lars Kotthoff:
Constraint solvers: An empirical evaluation of design decisions
CoRR abs/1002.0134: (2010) |
| 5 |  | Lars Kotthoff:
Dominion -- A constraint solver generator
CoRR abs/1002.0136: (2010) |
| 4 |  | Tom Kelsey,
Lars Kotthoff:
The Exact Closest String Problem as a Constraint Satisfaction Problem
CoRR abs/1005.0089: (2010) |
| 3 |  | Lars Kotthoff,
Ian P. Gent,
Ian Miguel:
Using machine learning to make constraint solver implementation decisions
CoRR abs/1005.3502: (2010) |
| 2 |  | Ian P. Gent,
Lars Kotthoff,
Ian Miguel,
Peter Nightingale:
Machine learning for constraint solver design -- A case study for the alldifferent constraint
CoRR abs/1008.4326: (2010) |
| 1 |  | Lars Kotthoff,
Neil C. A. Moore:
Distributed solving through model splitting
CoRR abs/1008.4328: (2010) |