 | 2011 |
|---|
| 9 |       | Antti Eero Johannes Hyvärinen,
Tommi A. Junttila,
Ilkka Niemelä:
Grid-Based SAT Solving with Iterative Partitioning and Clause Learning.
CP 2011: 385-399 |
| 8 | | Antti Eero Johannes Hyvärinen,
Tommi A. Junttila,
Ilkka Niemelä:
Partitioning Search Spaces of a Randomized Search.
Fundam. Inform. 107(2-3): 289-311 (2011) |
| 2010 |
|---|
| 7 | | Antti Eero Johannes Hyvärinen,
Tommi A. Junttila,
Ilkka Niemelä:
Partitioning SAT Instances for Distributed Solving.
LPAR (Yogyakarta) 2010: 372-386 |
| 2009 |
|---|
| 6 | | Antti Eero Johannes Hyvärinen,
Tommi A. Junttila,
Ilkka Niemelä:
Partitioning Search Spaces of a Randomized Search.
AI*IA 2009: 243-252 |
| 5 | | Antti Eero Johannes Hyvärinen,
Tommi A. Junttila,
Ilkka Niemelä:
Incorporating Clause Learning in Grid-Based Randomized SAT Solving.
JSAT 6(4): 223-244 (2009) |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page