Ei valokuvaa: Tuukka Korhonen

Tuukka Korhonen

20172019
Jos olet muokannut tietoja Puressa, ne näkyvät pian tässä.

Julkaisut 2017 2019

  • 1 Konferenssiartikkeli
  • 1 Artikkeli
  • 1 Ohjelmisto

Solving Graph Problems via Potential Maximal Cliques: An Experimental Evaluation of the Bouchitté-Todinca Algorithm

Korhonen, T., Berg, J. & Järvisalo, M., kesäkuuta 2019, julkaisussa : ACM Journal of Experimental Algorithmics. 24, 1, 19 Sivumäärä, 1.9.

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

MaxPre: An Extended MaxSAT Preprocessor

Korhonen, T., Berg, J., Saikko, P. & Järvisalo, M., 2017, Theory and Applications of Satisfiability Testing – SAT 2017: 20th International Conference Melbourne, VIC, Australia, August 28 – September 1, 2017 Proceedings. Gaspers, S. & Walsh, T. (toim.). Cham: Springer International Publishing AG, s. 449-456 8 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 10491).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

MaxPre: An Extended MaxSAT Preprocessor

Korhonen, T. M. A., Berg, O. J., Saikko, P. H. A. & Järvisalo, M. J., 2017

Tutkimustuotos: Ei-tekstimuotoinenOhjelmistoTieteellinen