Research output per year
Research output per year
Personal profile
Education information
Master of Science, Applied MathematicsFields of Science
- 113 Computer and information sciences
International and National Collaboration
Publications and projects within past five years.
-
Certified MaxSAT Preprocessing
Ihalainen, H., Oertel, A., Tan, Y. K., Berg, J., Järvisalo, M., Myreen, M. O. & Nordström, J., 1 Jul 2024, Automated Reasoning. IJCAR 2024.. Benzmüller, C., Heule, M. J. H. & Schmidt, R. A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 396-418 23 p. (Lecture Notes in Computer Science; vol. 14739).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile -
Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability
Berg, J., Bogaerts, B., Nordström, J., Oertel, A., Paxian, T. & Vandesande, D., Aug 2024, 30th International Conference on Principles and Practice of Constraint Programming, CP 2024. Shaw, P. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 4. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 307).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile -
Core Boosting in SAT-Based Multi-objective Optimization
Jabs, C., Berg, J. & Järvisalo, M., 25 May 2024, Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 21st International Conference, CPAIOR 2024, Proceedings. Dilkina, B. (ed.). 1 ed. Cham: Springer, p. 1-19 19 p. (Lecture Notes in Computer Science; vol. 14743).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile -
From Single-Objective to Bi-Objective Maximum Satisfiability Solving
Jabs, C., Berg, J., Niskanen, A. & Järvisalo, M., Aug 2024, In: Journal of Artificial Intelligence Research. 80, p. 1223-1269 47 p.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile -
MaxSAT Evaluation 2024: Solver and Benchmark Descriptions
Berg, J. (Editor), Järvisalo, M. (Editor), Martins, R. (Editor), Niskanen, A. (Editor) & Paxian, T. (Editor), 2024, Helsinki: Department of Computer Science, University of Helsinki. 44 p. (Department of Computer Science Series of Publications B; vol. B-2024-2)Research output: Book/Report › Anthology or special issue › Scientific
Open AccessFile
Projects
- 1 Active
-
Cracking the Crux of Combinatorial Optimization
Berg, J. (Project manager), Eskelinen, V. (Participant) & Kasslin, A. V. T. (Participant)
Suomen Akatemia Projektilaskutus
01/09/2024 → 31/08/2028
Project: Research Council of Finland: Academy Research Fellow
Prizes
-
-
The University of Helsinki doctoral dissertation awards
Berg, J. (Recipient), 6 May 2019
Prize: Prizes and awards
-
Väitöskirjan sivuohjaaja
Berg, J. (Co-supervisor)
1 Jan 2023 → 31 Dec 2027Activity: Examination types › Supervisor or co-supervisor of doctoral thesis
-
Väitöskirjan sivuohjaaja
Berg, J. (Co-supervisor)
1 Jan 2023 → 31 Dec 2027Activity: Examination types › Supervisor or co-supervisor of doctoral thesis
-
Simons Institute (UC Berkeley)
Berg, J. (Visiting researcher)
20 Mar 2023 → 10 May 2023Activity: Visiting an external institution types › Academic visit to other institution
-
Vrije Universiteit Brussel
Berg, J. (Visiting researcher)
9 May 2022 → 22 May 2022Activity: Visiting an external institution types › Academic visit to other institution
-
University of Toronto
Berg, J. (Visiting researcher)
31 Jan 2019 → 30 Apr 2019Activity: Visiting an external institution types › Academic visit to other institution
Press/Media
-
-
-UNIVERSITY OF HELSINKI: Prize-winning doctoral dissertations completed at the University of Helsinki focused on targeted drugs and tax planning conducted by multinational corporations
07/05/2019
1 item of Media coverage
Press/Media: Press / Media
-
Prize-winning doctoral dissertations completed at the University of Helsinki focused on targeted drugs and tax planning conducted by multinational corporations
06/05/2019
1 item of Media coverage
Press/Media: Press / Media