| |
| 2004 | ||
|---|---|---|
| 3 | EE | Holger H. Hoos, Kevin Smyth, Thomas Stützle: Search Space Features Underlying the Performance of Stochastic Local Search Algorithms for MAX-SAT. PPSN 2004: 51-60 |
| 2003 | ||
| 2 | EE | Ian P. Gent, Holger H. Hoos, Andrew G. D. Rowley, Kevin Smyth: Using Stochastic Local Search to Solve Quantified Boolean Formulae. CP 2003: 348-362 |
| 1 | EE | Kevin Smyth, Holger H. Hoos, Thomas Stützle: Iterated Robust Tabu Search for MAX-SAT. Canadian Conference on AI 2003: 129-144 |
| 1 | Ian P. Gent | [2] |
| 2 | Holger H. Hoos (Holger Hoos) | [1] [2] [3] |
| 3 | Andrew G. D. Rowley | [2] |
| 4 | Thomas Stützle | [1] [3] |