Research output per year
Research output per year
Personal profile
Education information
Master of Science, Applied Mathematics
Fields of Science
- 113 Computer and information sciences
International and National Collaboration
Publications and projects within past five years.
-
Certified Core-Guided MaxSAT Solving
Berg, J., Bogaerts, B., Nordström, J., Oertel, A. & Vandesande, D., Jul 2023, Proceedings of the 29th International Conference on Automated Deduction .Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile -
Clause Redundancy and Preprocessing in Maximum Satisfiability
Ihalainen, H. E., Berg, J. & Järvisalo, M., 2022, Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings. Blachette, J., Kovács, L. & Pattinson, D. (eds.). Springer International Publishing AG, p. 75-94 20 p. (Lecture Notes in Computer Science; vol. 13385).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile -
Computing Smallest MUSes of Quantified Boolean Formulas
Niskanen, A., Mustonen, J. V., Berg, J. & Järvisalo, M., Aug 2022, Proceedings of the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022). Gottlob, G., Inclezan, D. & Maratea, M. (eds.). Springer, p. 301–314 14 p. (Lecture Notes in Computer Science; vol. 13416).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
-
Improvements to the Implicit Hitting Set Approach to Pseudo-Boolean Optimization
Smirnov, P., Berg, J. & Järvisalo, M., 2022, 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel. Meel, K. & Strichman, O. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 13:1-13:18 18 p. (LIPIcs; vol. 236).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile -
Incremental Maximum Satisfiability
Niskanen, A., Berg, J. & Järvisalo, M., 2022, 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel. Meel, K. & Strichman, O. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 14:1-14:19 19 p. (LIPIcs; vol. 236).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile
Prizes
-
-
The University of Helsinki doctoral dissertation awards
Berg, Jeremias (Recipient), 6 May 2019
Prize: Prizes and awards
Activities
- 2 Academic visit to other institution
-
University of Toronto
Jeremias Berg (Visiting researcher)
31 Jan 2019 → 30 Apr 2019Activity: Visiting an external institution types › Academic visit to other institution
-
University of Melbourne
Jeremias Berg (Visiting researcher)
1 Oct 2018 → 31 Dec 2018Activity: 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
Teivo Teivainen & Jeremias Berg
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
Teivo Teivainen & Jeremias Berg
06/05/2019
1 item of Media coverage
Press/Media: Press / Media