Decision Procedures for the Polynomial Hierarchy, Boolean Optimization, and Model Counting

Järvisalo, Matti (Project manager)

Department of Computer Science

Project: Research project

Status	Finished
Effective start/end date	01/09/2014 → 31/08/2019

Funding

Unknown funder

40 Conference contribution
12 Article
8 Software
6 Anthology or special issue
More
- 2 Chapter
- 1 Conference article

Applications of MaxSAT in Data Analysis
Berg, O. J., Hyttinen, A. J. & Järvisalo, M. J., 2019, Proceedings of Pragmatics of SAT 2015 and 2018. Le Berre, D. & Järvisalo, M. (eds.). Manchester, UK: EasyChair Publications, p. 50-64 15 p. (EPiC Series in Computing; vol. 59).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Open Access
File
Enumerating Potential Maximal Cliques via SAT and ASP
Korhonen, T., Berg, J. & Järvisalo, M., 2019, Proceedings of the twenty-eigth International Joint Conference on Artificial Intelligence (IJCAI 2019). Kraus, S. (ed.). International Joint Conferences on Artifical Intelligence, p. 1116-1122 7 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Open Access
File
Preprocessing Argumentation Frameworks via Replacement Patterns
Dvořák, W., Järvisalo, M. J., Linsbichler, T., Niskanen, A. J. A. & Woltran, S., 2019, Logics in Artificial Intelligence, JELIA 2019. Calimeri, F., Leone, N. & Manna, M. (eds.). Springer, Vol. 11468. p. 116-132 17 p. (Lecture Notes in Artificial Intelligence; vol. 11468).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Open Access
File

33 Peer review of manuscripts
12 Organisation and participation in conferences, workshops, courses, seminars
4 Public Talks
4 Supervisor or co-supervisor of doctoral thesis
More

16th International Conference on Integration of AI and OR Techniques in Constraint Programming (CPAIOR 2019) (Event)
Matti Järvisalo (Programme Committee Member)
2019
Activity: Publication peer-review and editorial work types › Peer review of manuscripts
22nd International Conference on Theory and Applications of Satisfiability Testing (Event)
Matti Järvisalo (Programme Committee Member)
2019
Activity: Publication peer-review and editorial work types › Peer review of manuscripts
10th International Workshop on Pragmatics of SAT (Event)
Matti Järvisalo (Programme Committee Chair)
2019
Activity: Publication peer-review and editorial work types › Peer review of manuscripts

CP 2017 Distinguished Paper Award
Bacchus, Fahiem (Recipient), Hyttinen, Antti Juhani (Recipient), Järvisalo, Matti (Recipient) & Saikko, Paul Henrik Alexander (Recipient), 2017
Prize: Prizes and awards