| 2012 | ||
|---|---|---|
| j2 | Lars Kotthoff, Ian P. Gent, Ian Miguel: An evaluation of machine learning in algorithm selection for search problems. AI Commun. 25(3): 257-270 (2012) | |
| c8 | Andreas Distler, Christopher Jefferson, Tom Kelsey, Lars Kotthoff: The Semigroups of Order 10. CP 2012: 883-899 | |
| c7 | ||
| c6 | Dharini Balasubramaniam, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale: An automated approach to generating efficient constraint solvers. ICSE 2012: 661-671 | |
| i11 | Lars Kotthoff, Tom Kelsey, Martin McCaffery: A framework for large-scale distributed AI search across disconnected heterogeneous infrastructures. CoRR abs/1209.3487 (2012) | |
| i10 | Thomas W. Kelsey, Lars Kotthoff, Christoffer A. Jefferson, Stephen A. Linton, Ian Miguel, Peter Nightingale, Ian P. Gent: Qualitative Modelling via Constraint Programming: Past, Present and Future. CoRR abs/1209.3916 (2012) | |
| i9 | Lars Kotthoff: Algorithm Selection for Combinatorial Search Problems: A Survey. CoRR abs/1210.7959 (2012) | |
| 2011 | ||
| j1 | Tom Kelsey, Lars Kotthoff: Exact Closest String as a Constraint Satisfaction Problem. Procedia CS 4: 1062-1071 (2011) | |
| c5 | Ian P. Gent, Lars Kotthoff: Reliability of Computational Experiments on Virtualised Hardware. AI for Data Center Management and Cloud Computing 2011 | |
| c4 | Lars Kotthoff, Ian P. Gent, Ian Miguel: A Preliminary Evaluation of Machine Learning in Algorithm Selection for Search Problems. SOCS 2011 | |
| c3 | Dharini Balasubramaniam, Lakshitha de Silva, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale: Dominion: An Architecture-Driven Approach to Generating Efficient Constraint Solvers. WICSA 2011: 228-231 | |
| i8 | Ian P. Gent, Lars Kotthoff: Reliability of Computational Experiments on Virtualised Hardware. CoRR abs/1110.6288 (2011) | |
| i7 | Ian P. Gent, Christopher Jefferson, Lars Kotthoff, Ian Miguel: Modelling Constraint Solver Architecture Design as a Constraint Problem. CoRR abs/1110.6290 (2011) | |
| 2010 | ||
| c2 | Lars Kotthoff, Ian Miguel, Peter Nightingale: Ensemble Classification for Constraint Solver Configuration. CP 2010: 321-329 | |
| c1 | 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 | |
| i6 | Lars Kotthoff: Constraint solvers: An empirical evaluation of design decisions. CoRR abs/1002.0134 (2010) | |
| i5 | ||
| i4 | Tom Kelsey, Lars Kotthoff: The Exact Closest String Problem as a Constraint Satisfaction Problem. CoRR abs/1005.0089 (2010) | |
| i3 | Lars Kotthoff, Ian P. Gent, Ian Miguel: Using machine learning to make constraint solver implementation decisions. CoRR abs/1005.3502 (2010) | |
| i2 | 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) | |
| i1 | Lars Kotthoff, Neil C. A. Moore: Distributed solving through model splitting. CoRR abs/1008.4328 (2010) | |
Data released under the ODC-BY 1.0 license — See also our legal information page