Projects per year
International and National Collaboration
Profiles
-
Jeremias Berg
- Department of Computer Science - Academy Research Fellow, Title of Docent
- Constraint Reasoning and Optimization research group / Matti Järvisalo
- Doctoral Programme in Computer Science - Supervisor for doctoral programme
Person: U3 Research and teaching staff, UH
-
Matti Järvisalo
- Department of Computer Science - Professor, Title of Docent
- Helsinki Institute for Information Technology
- Constraint Reasoning and Optimization research group / Matti Järvisalo
- Doctoral Programme in Computer Science - Supervisor for doctoral programme
Person: UH , U4 Research and teaching staff
-
Andreas Niskanen
- Department of Computer Science - Postdoctoral Researcher
- Constraint Reasoning and Optimization research group / Matti Järvisalo
Person: U2 Teaching and research staff
Projects
- 2 Finished
-
Symbolic Techniques for Formally Verified and Explainable AI
01/01/2020 → 31/12/2022
Project: Research project
-
Declarative Boolean Optimization: Pushing the Envelope
01/09/2019 → 31/08/2023
Project: Research project
-
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., 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
-
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 -
Learning MDL Logic Programs From Noisy Data
Hocquette, C., Niskanen, A., Järvisalo, M. & Cropper, A., 2024, Proceedings of the 38th AAAI Conference on Artificial Intelligence (AAAI 2024). AAAI Press, (Proceedings of the AAAI Conference on Artificial Intelligence).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile
Activities
-
Väitöskirjan sivuohjaaja
Jeremias Berg (Co-supervisor)
1 Jan 2023 → 31 Dec 2027Activity: Examination types › Supervisor or co-supervisor of doctoral thesis
-
Simons Institute (UC Berkeley)
Jeremias Berg (Visiting researcher)
20 Mar 2023 → 10 May 2023Activity: Visiting an external institution types › Academic visit to other institution
-
Väitöskirjan sivuohjaaja
Jeremias Berg (Co-supervisor)
1 Jan 2023 → 31 Dec 2027Activity: Examination types › Supervisor or co-supervisor of doctoral thesis
-
Vrije Universiteit Brussel
Jeremias Berg (Visiting researcher)
9 May 2022 → 22 May 2022Activity: Visiting an external institution types › Academic visit to other institution
-
Expressiveness versus Efficiency Workshop, part of the Satisfiability: Theory, Practice, and Beyond Program
Matti Järvisalo (Member of organizing committee)
2021Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars
Prizes
-
2019 IJCAI-JAIR Best Paper Prize
Biere, Armin (Recipient), Heule, Marijn J.H. (Recipient), Järvisalo, Matti (Recipient), Lonsing, Florian (Recipient) & Seidl, Martina (Recipient), 2019
Prize: Prizes and awards
-
-
CP 2017 Distinguished Paper Award
Bacchus, Fahiem (Recipient), Hyttinen, Antti (Recipient), Järvisalo, Matti (Recipient) & Saikko, Paul Henrik Alexander (Recipient), 2017
Prize: Prizes and awards
-
ECAI 2016 Runner-Up Best Student Paper Award
Niskanen, Andreas (Recipient), Wallner, Johannes Peter (Recipient) & Järvisalo, Matti (Recipient), 2016
Prize: Prizes and awards
-
Honorary Mention at ICCMA 2015: 1st International Competition on Computation Models of Argumentation
Järvisalo, Matti (Recipient), 2015
Prize: Prizes and awards
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