• PL 68 (Pietari Kalmin katu 5)

    00014

    Suomi

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

Henkilökohtainen profiili

Koulutustiedot

Master of Science, Applied Mathematics

Tieteenalat

  • 113 Tietojenkäsittely- ja informaatiotieteet
  • MaxSAT
  • SAT
  • Moolean Optimization
  • Satisfiability
  • Maximum Satisfiability

Kansainvälinen ja kotimainen yhteistyö Viimeisin maatasolla toteutettu yhteistyö. Saat syvempiä lisätietoja pisteitä napsauttamalla.

Julkaisut 2013 2019

  • 15 Konferenssiartikkeli
  • 2 Artikkeli
  • 1 Ohjelmisto
  • 1 Väitöskirja

Core-Boosted Linear Search for Incomplete MaxSAT

Berg, O. J., Demirovic, E. & Stuckey, P., 2019, (Hyväksytty/In press) Proceedings of the The 16th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2019) . Springer, (Lecture Notes in Computer Science ).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

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

Unifying Reasoning and Core-Guided Search for Maximum Satisfiability

Berg, J. & Järvisalo, M., 2019, LOGICS IN ARTIFICIAL INTELLIGENCE: 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings. Calimeri, F., Leone, N. & Manna, M. (toim.). Springer, Vuosikerta 11468. s. 287-303 17 Sivumäärä (Lecture Notes in Artificial Intelligence; Vuosikerta 11468).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Open access

Cost-optimal constrained correlation clustering via weighted partial Maximum Satisfiability

Berg, J. & Järvisalo, M., maaliskuuta 2017, julkaisussa : Artificial Intelligence. 244, s. 110-142 33 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Open access
Tiedosto

Aktiviteetit 2018 2018

  • 1 Akateeminen vierailu toiseen organisaatioon

University of Melbourne

Jeremias Berg (Vieraileva tutkija)
1 lokakuuta 201831 joulukuuta 2018

Aktiviteetti: Ulkoisessa instituutiossa vierailun tyypitAkateeminen vierailu toiseen organisaatioon