 | 2009 |
|---|
| 5 |       | Antti Eero Johannes Hyvärinen,
Tommi A. Junttila,
Ilkka Niemelä:
Partitioning Search Spaces of a Randomized Search.
AI*IA 2009: 243-252 |
| 2008 |
|---|
| 4 | | Antti Eero Johannes Hyvärinen,
Tommi A. Junttila,
Ilkka Niemelä:
Incorporating Learning in Grid-Based Randomized SAT Solving.
AIMSA 2008: 247-261 |
| 3 | | 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 | | 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 | | Antti Eero Johannes Hyvärinen,
Tommi A. Junttila,
Ilkka Niemelä:
A Distribution Method for Solving SAT in Grids.
SAT 2006: 430-435 |
