Travelled to:1 × Austria
1 × Italy
Collaborated with:M.Järvisalo P.Kaski M.Koivisto
Talks about:techniqu (1) ensembl (1) circuit (1) effici (1) condit (1) comput (1) relat (1) lower (1) liter (1) bound (1)
Person: Janne H. Korhonen
DBLP: Korhonen:Janne_H=
Contributed to:
20142012Wrote 2 papers:
- SAT-2014-JarvisaloK #bound
- Conditional Lower Bounds for Failed Literals and Related Techniques (MJ, JHK), pp. 75–84.
- SAT-2012-JarvisaloKKK #performance
- Finding Efficient Circuits for Ensemble Computation (MJ, PK, MK, JHK), pp. 369–382.