Constraint Reasoning and Optimization research group / Matti Järvisalo

Jeremias Berg
- jeremias.berg@helsinki.fi
- Department of Computer Science - Postdoctoral Researcher
- Constraint Reasoning and Optimization research group / Matti Järvisalo
Person: U2 Teaching and research staff, UH
20132020
Matti Järvisalo
- matti.jarvisalo@helsinki.fi
- Department of Computer Science - Associate professor, Title of Docent
- Constraint Reasoning and Optimization research group / Matti Järvisalo
- Helsinki Institute for Information Technology
- Doctoral Programme in Computer Science - Supervisor for doctoral programme
Person: U3 Research and teaching staff, UH
20102021
Andreas Niskanen
- andreas.niskanen@helsinki.fi
- Department of Computer Science - Postdoctoral Researcher
- Constraint Reasoning and Optimization research group / Matti Järvisalo
Person: U2 Teaching and research staff
20152021
Paul Saikko
- Department of Computer Science
- Constraint Reasoning and Optimization research group / Matti Järvisalo
Person: UH
20152019

2 Active

Symbolic Techniques for Formally Verified and Explainable AI
Järvisalo, M.
01/01/2020 → 31/12/2022
Project: Research project
Declarative Boolean Optimization: Pushing the Envelope
Järvisalo, M.
01/09/2019 → 31/08/2023
Project: Research project

66 Conference contribution
20 Article
17 Software
11 Anthology or special issue
More
- 2 Chapter
- 2 Conference article

Controllability of Control Argumentation Frameworks
Niskanen, A., Neugebauer, D. & Järvisalo, M., Jan 2021, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI 2020). Bessiere, C. (ed.). International Joint Conferences on Artificial Intelligence, p. 1855-1861 7 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Open Access
File
Maximum Satisfiability
Bacchus, F., Järvisalo, M. & Martins, R., 2021, Handbook of Satisfiability. Biere, A., Heule, M., van Maaren, H. & Walsh, T. (eds.). 2 ed. IOS PRESS, p. 929 - 991 (Frontiers in Artificial Intelligence and Applications; vol. 336).
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific › peer-review
Preprocessing in SAT Solving
Biere, A., Järvisalo, M. & Kiesl, B., 2021, Handbook of Satisfiability. Biere, A., Heule, M., van Maaren, H. & Walsh, T. (eds.). 2 ed. IOS PRESS, p. 391 - 435 (Frontiers in Artificial Intelligence and Applications; vol. 336).
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific › peer-review
Abstract Cores in Implicit Hitting Set MaxSat Solving
Berg, J., Bacchus, F. & Poole, A., 2020, Theory and Applications of Satisfiability Testing – SAT 2020: 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings. Pulina, L. & Seidl, M. (eds.). Cham: Springer, p. 277-294 18 p. (Lecture Notes in Computer Science; vol. 12178).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Open Access
File
Algorithms for Dynamic Argumentation Frameworks: An Incremental SAT-Based Approach
Niskanen, A. & Järvisalo, M., 2020, Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020). IOS PRESS, p. 849-856 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 325).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Open Access
File

56 Peer review of manuscripts
36 Organisation and participation in conferences, workshops, courses, seminars
6 Supervisor or co-supervisor of doctoral thesis
6 Supervision of other thesis (Master's, Licentiate)
More

Expressiveness versus Efficiency Workshop, part of the Satisfiability: Theory, Practice, and Beyond Program
Matti Järvisalo (Member of organizing committee)
2021
Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars
3rd International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2020) (Event)
Matti Järvisalo (Programme Committee Member)
2020
Activity: Publication peer-review and editorial work types › Peer review of manuscripts
29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020) (Event)
Matti Järvisalo (Programme Committee Member)
2020
Activity: Publication peer-review and editorial work types › Peer review of manuscripts
MSc Supervisor of Esa Kemppainen
Matti Järvisalo (Supervisor)
2020
Activity: Examination types › Supervision of other thesis (Master's, Licentiate)
The 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT 2020) (Event)
Matti Järvisalo (Programme Committee Member)
2020
Activity: Publication peer-review and editorial work types › Peer review of manuscripts

2019 IJCAI-JAIR Best Paper Prize
Armin Biere (Recipient), Marijn J.H. Heule (Recipient), Järvisalo, Matti (Recipient), Florian Lonsing (Recipient) & Martina Seidl (Recipient), 2019
Prize: Prizes and awards
ACP Doctoral Research Award
Berg, Jeremias (Recipient), 2020
Prize: Prizes and awards
CP 2017 Distinguished Paper Award
Fahiem Bacchus (Recipient), Hyttinen, Antti (Recipient), Järvisalo, Matti (Recipient) & Saikko, Paul (Recipient), 2017
Prize: Prizes and awards
ECAI 2016 Runner-Up Best Student Paper Award
Niskanen, Andreas (Recipient), Johannes Peter Wallner (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

-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

Constraint Reasoning and Optimization research group / Matti Järvisalo

International and National Collaboration

Dive into details

Jeremias Berg

Matti Järvisalo

Andreas Niskanen

Paul Saikko

Symbolic Techniques for Formally Verified and Explainable AI

Declarative Boolean Optimization: Pushing the Envelope

Controllability of Control Argumentation Frameworks

Maximum Satisfiability

Preprocessing in SAT Solving

Abstract Cores in Implicit Hitting Set MaxSat Solving

Algorithms for Dynamic Argumentation Frameworks: An Incremental SAT-Based Approach

Expressiveness versus Efficiency Workshop, part of the Satisfiability: Theory, Practice, and Beyond Program

3rd International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2020) (Event)

29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020) (Event)

MSc Supervisor of Esa Kemppainen

The 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT 2020) (Event)

2019 IJCAI-JAIR Best Paper Prize

ACP Doctoral Research Award

CP 2017 Distinguished Paper Award

ECAI 2016 Runner-Up Best Student Paper Award

Honorary Mention at ICCMA 2015: 1st International Competition on Computation Models of Argumentation

-UNIVERSITY OF HELSINKI: Prize-winning doctoral dissertations completed at the University of Helsinki focused on targeted drugs and tax planning conducted by multinational corporations

Prize-winning doctoral dissertations completed at the University of Helsinki focused on targeted drugs and tax planning conducted by multinational corporations