| |
| 2008 | ||
|---|---|---|
| 4 | EE | Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä: Incorporating Learning in Grid-Based Randomized SAT Solving. AIMSA 2008: 247-261 |
| 3 | EE | Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä: Strategies for Solving SAT in Grids by Randomized Search. AISC/MKM/Calculemus 2008: 125-140 |
| 2 | EE | Mikko Juhani Pitkänen, Xin Zhou, Antti Eero Johannes Hyvärinen, Henning Müller: Using the Grid for Enhancing the Performance of a Medical Image Search Engine. CBMS 2008: 367-372 |
| 2006 | ||
| 1 | EE | Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä: A Distribution Method for Solving SAT in Grids. SAT 2006: 430-435 |
| 1 | Tommi A. Junttila | [1] [3] [4] |
| 2 | Henning Müller | [2] |
| 3 | Ilkka Niemelä | [1] [3] [4] |
| 4 | Mikko Juhani Pitkänen | [2] |
| 5 | Xin Zhou | [2] |