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

Project Details

StatusFinished
Effective start/end date01/09/201431/08/2019

Funding

  • Unknown funder

Research Output

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 proceedingConference contributionScientificpeer-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 proceedingConference contributionScientificpeer-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 proceedingConference contributionScientificpeer-review

Open Access
File

Activities

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 typesPeer 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 typesPeer review of manuscripts

28th International Joint Conference on Artificial Intelligence (IJCAI 2019) (Event)

Matti Järvisalo (Programme Committee Member)

2019

Activity: Publication peer-review and editorial work typesPeer review of manuscripts

Prizes

CP 2017 Distinguished Paper Award

Fahiem Bacchus (Recipient), Hyttinen, Antti (Recipient), Järvisalo, Matti (Recipient) & Saikko, Paul (Recipient), 2017

Prize: Prizes and awards