• PL 68 (Pietari Kalmin katu 5)

    00014

    Finland

20132020

Research output per year

Om du gjort några ändringar i Pure kommer de visas här snart.

Personlig profil

Utbildning information

Master of Science, Applied Mathematics

Vetenskapsgrenar

  • 113 Data- och informationsvetenskap

Internationellt och inhemskt samarbete Publikationer och projekt inom de senaste fem åren.

Publikationer

Abstract Cores in Implicit Hitting Set MaxSat Solving

Berg, J., Bacchus, F. & Poole, AL., 2020, (!!Accepted/In press) Proceedings of the 2020 International Conference on Theory and Applications of Satisfiability Testing (SAT 2020). (Lecture Notes in Computer Science).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Core-Guided and Core-Boosted Search for CP

Grange, G., Berg, J., Demirovic, E. & Stuckey, P., 30 jan 2020, (!!Accepted/In press) Proceedings of the 17th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research. Springer International Publishing AG, (Lecture Notes in Computer Science. Theoretical Computer Science and General Issues).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Preprocessing in Incomplete MaxSAT Solving

Leivo, M. J., Berg, J. & Järvisalo, M., 2020, (!!Accepted/In press) Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020). IOS PRESS, 7 s. (Frontiers in Artificial Intelligence and Applications).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Applications of MaxSAT in Data Analysis

Berg, O. J., Hyttinen, A. J. & Järvisalo, M. J., 2019, Proceedings of Pragmatics of SAT 2015 and 2018. Le Berre, D. & Järvisalo, M. (red.). Manchester, UK: EasyChair Publications, s. 50-64 15 s. (EPiC Series in Computing; vol. 59).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Core-Boosted Linear Search for Incomplete MaxSAT

Berg, O. J., Demirović, E. & Stuckey, P. J., jun 2019, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings. Rousseau, L-M. & Stergiou, K. (red.). Cham: Springer International Publishing AG, s. 39-56 18 s. (Lecture Notes in Computer Science. Theoretical Computer Science and General Issues; vol. 11494).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Priser

The University of Helsinki doctoral dissertation awards

Jeremias Berg (!!Recipient), 6 maj 2019

Pris: Pris och hedersbetygelser

Aktiviteter

  • 2 Akademisk besök på annan institution

University of Toronto

Jeremias Berg (Besökande forskare)
31 jan 201930 apr 2019

Aktivitet: Typer för besök till extern institutionAkademisk besök på annan institution

University of Melbourne

Jeremias Berg (Besökande forskare)
1 okt 201831 dec 2018

Aktivitet: Typer för besök till extern institutionAkademisk besök på annan institution