Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Antti Eero Johannes Hyvärinen" ( http://dblp.L3S.de/Authors/Antti_Eero_Johannes_Hyvärinen )

  Author page on DBLP  Author page in RDF  Community of Antti Eero Johannes Hyvärinen in ASPL-2

Publication years (Num. hits)
2006 (1) 2008 (3) 2009 (2) 2010 (1) 2011 (2)
Publication types (Num. hits)
article(2) inproceedings(7)
Venues (Conferences, Journals, ...)
AI*IA(1) AIMSA(1) AISC/MKM/Calculemus(1) CBMS(1) CP(1) Fundam. Inform.(1) JSAT(1) LPAR (Yogyakarta)(1) SAT(1)
Authors
Antti Eero Johannes Hyvärinen(9) Ilkka Niemelä(8) Tommi A. Junttila(8) Henning Müller(1) Mikko Juhani Pitkänen(1) Xin Zhou(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä Partitioning Search Spaces of a Randomized Search. Search on Bibsonomy Fundam. Inform. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä Grid-Based SAT Solving with Iterative Partitioning and Clause Learning. Search on Bibsonomy CP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä Partitioning SAT Instances for Distributed Solving. Search on Bibsonomy LPAR (Yogyakarta) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä Incorporating Clause Learning in Grid-Based Randomized SAT Solving. Search on Bibsonomy JSAT The full citation details ... 2009 DBLP  BibTeX  RDF
1Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä Partitioning Search Spaces of a Randomized Search. Search on Bibsonomy AI*IA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mikko 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. Search on Bibsonomy CBMS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Feature Extraction, Grid, CBIR
1Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä Strategies for Solving SAT in Grids by Randomized Search. Search on Bibsonomy AISC/MKM/Calculemus The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä Incorporating Learning in Grid-Based Randomized SAT Solving. Search on Bibsonomy AIMSA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä A Distribution Method for Solving SAT in Grids. Search on Bibsonomy SAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #9 of 9 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.