Collaborations and top research areas from the last five years
Profiles
-
Jeremias Berg
- Department of Computer Science - Academy Research Fellow, Title of Docent
- Doctoral Programme in Computer Science - Supervisor for doctoral programme
- Constraint Reasoning and Optimization research group / Matti Järvisalo
Person: U3 Research and teaching staff, UH
-
Matti Järvisalo
- Helsinki Institute for Information Technology
- Department of Computer Science - Professor, Title of Docent
- Doctoral Programme in Computer Science - Supervisor for doctoral programme
- Constraint Reasoning and Optimization research group / Matti Järvisalo
Person: UH , U4 Research and teaching staff
-
Andreas Niskanen
- Department of Computer Science - University Researcher
- Constraint Reasoning and Optimization research group / Matti Järvisalo
Person: U3 Research and teaching staff
Projects
- 2 Finished
-
Symbolic Techniques for Formally Verified and Explainable AI
Järvisalo, M. (Principal Investigator)
01/01/2020 → 31/12/2022
Project: Research project
-
Declarative Boolean Optimization: Pushing the Envelope
Järvisalo, M. (Principal Investigator)
01/09/2019 → 31/08/2023
Project: Research project
Research output
-
Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach
Ihalainen, H., Vandesande, D., Schidler, A., Berg, J., Bogaerts, B. & Järvisalo, M., 2026, Proceedings of the AAAI Conference on Artificial Intelligence. Koenig, S., Jenkins, C. & Taylor, M. E. (eds.). 17 ed. Association for the Advancement of Artificial Intelligence, p. 14251-14260 10 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 40, no. 17).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile -
Ordered Objectives in Maximum Satisfiability
Berg, O. J., Schidler, A. & Järvisalo, M. J., 14 Mar 2026, In: Proceedings of the AAAI Conference on Artificial Intelligence. 40, 17, p. 14166-14174 9 p.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile -
Symmetry Breaking for Inductive Logic Programming
Cropper, A., Cerna, D. M. & Järvisalo, M. J., 14 Mar 2026, In: Proceedings of the AAAI Conference on Artificial Intelligence. 40, 23, p. 19012-19020 9 p.Research output: Contribution to journal › Conference article › Scientific › peer-review
Open AccessFile -
28th International Conference on Theory and Applications of Satisfiability Testing, SAT 2025
Berg, J. (Editor) & Nordström, J. (Editor), 7 Aug 2025, Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 341)Research output: Book/Report › Anthology or special issue › Scientific › peer-review
-
An Optimization Modulo Theories-Based Approach to Cumulative Scheduling with Delays
Kasslin, A. & Berg, J., 2025, In: CEUR Workshop Proceedings. 4008, p. 16-28 13 p.Research output: Contribution to journal › Conference article › Scientific › peer-review
Open AccessFile
Activities
-
Väitöskirjan ohjaaja
Berg, J. (Supervisor)
1 Nov 2024 → 31 Aug 2028Activity: Examination types › Supervisor or co-supervisor of doctoral thesis
-
University of Amsterdam
Niskanen, A. (Visiting researcher)
27 Nov 2023 → 1 Dec 2023Activity: Visiting an external institution types › Academic visit to other institution
-
University of Oxford
Niskanen, A. (Visiting researcher)
6 Nov 2023 → 10 Nov 2023Activity: Visiting an external institution types › Academic visit to other institution
-
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
Prizes
-
2019 IJCAI-JAIR Best Paper Prize
Biere, A. (Recipient), Heule, M. J. H. (Recipient), Järvisalo, M. (Recipient), Lonsing, F. (Recipient) & Seidl, M. (Recipient), 2019
Prize: Prizes and awards
-
-
CP 2017 Distinguished Paper Award
Bacchus, F. (Recipient), Hyttinen, A. J. (Recipient), Järvisalo, M. (Recipient) & Saikko, P. H. A. (Recipient), 2017
Prize: Prizes and awards
-
ECAI 2016 Runner-Up Best Student Paper Award
Niskanen, A. J. A. (Recipient), Wallner, J. P. (Recipient) & Järvisalo, M. (Recipient), 2016
Prize: Prizes and awards
-
Honorary Mention at ICCMA 2015: 1st International Competition on Computation Models of Argumentation
Järvisalo, M. (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
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