Polynomisen hierarkian päätösproseduurit, Boolean optimointi, ja mallien laskenta

Järvisalo, Matti (Projektledare)

Avdelningen för datavetenskap

Projekt: Forskningsprojekt

Status	Slutfört
Gällande start-/slutdatum	01/09/2014 → 31/08/2019

Finansiering

Unknown funder

40 Konferensbidrag
12 Artikel
8 Programvara
6 Antologi eller special utgåva
Mer
- 2 Kapitel
- 1 Konferensartikel

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. (red.). Manchester, UK: EasyChair Publications, s. 50-64 15 s. (EPiC Series in Computing; vol. 59).
Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Öppen tillgång
Fil
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. (red.). International Joint Conferences on Artifical Intelligence, s. 1116-1122 7 s.
Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Öppen tillgång
Fil
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. (red.). Springer, Vol. 11468. s. 116-132 17 s. (Lecture Notes in Artificial Intelligence; vol. 11468).
Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Öppen tillgång
Fil

33 Referentgranskning av manuskript
12 Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
4 Public Talks
4 Handledare eller bihandledare av doktorsavhandling
Mer

34th ACM/SIGAPP Symposium on Applied Computing (Evenemang)
Järvisalo, M. (Medlem av programkommitté)
2019
Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
36th International Conference on Machine Learning (ICML 2019) (Evenemang)
Järvisalo, M. (Medlem av programkommitté)
2019
Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
28th International Joint Conference on Artificial Intelligence (IJCAI 2019) (Evenemang)
Järvisalo, M. (Medlem av programkommitté)
2019
Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript

CP 2017 Distinguished Paper Award
Bacchus, F. (!!Recipient), Hyttinen, A. J. (!!Recipient), Järvisalo, M. (!!Recipient) & Saikko, P. H. A. (!!Recipient), 2017
Pris: Pris och hedersbetygelser