Tutkimustuotoksia vuodessa
Tutkimustuotoksia vuodessa
Henkilökohtainen profiili
Tieteenalat
- 113 Tietojenkäsittely- ja informaatiotieteet
Kansainvälinen ja kotimainen yhteistyö
Viimeisin maa-/aluetasolla toteutettu yhteistyö. Saat tarkempia lisätietoja pisteitä napauttamalla, tai
Julkaisut
-
Certified MaxSAT Preprocessing
Ihalainen, H., Oertel, A., Tan, Y. K., Berg, J., Järvisalo, M., Myreen, M. O. & Nordström, J., 1 heinäk. 2024, Automated Reasoning. IJCAR 2024.. Benzmüller, C., Heule, M. J. H. & Schmidt, R. A. (toim.). Springer Science and Business Media Deutschland GmbH, s. 396-418 23 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 14739).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
Core Boosting in SAT-Based Multi-objective Optimization
Jabs, C., Berg, J. & Järvisalo, M., 2024, Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 21st International Conference, CPAIOR 2024, Proceedings. Dilkina, B. (toim.). 1 toim. Cham: Springer, s. 1-19 19 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 14743).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
-
From Single-Objective to Bi-Objective Maximum Satisfiability Solving
Jabs, C., Berg, J., Niskanen, A. & Järvisalo, M., elok. 2024, julkaisussa: Journal of Artificial Intelligence Research. 80, s. 1223-1269 47 SivumääräTutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
Learning MDL Logic Programs From Noisy Data
Hocquette, C., Niskanen, A., Järvisalo, M. & Cropper, A., 2024, Proceedings of the 38th AAAI Conference on Artificial Intelligence (AAAI 2024). AAAI Press, (Proceedings of the AAAI Conference on Artificial Intelligence).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
MaxSAT Evaluation 2024: Solver and Benchmark Descriptions
Berg, J. (toim.), Järvisalo, M. (toim.), Martins, R. (toim.), Niskanen, A. (toim.) & Paxian, T. (toim.), 2024, Helsinki: Department of Computer Science, University of Helsinki. 44 Sivumäärä (Department of Computer Science Series of Publications B; Vuosikerta B-2024-2)Tutkimustuotos: Kirja/raportti › Kokoomateos tai erikoisnumero › Tieteellinen
Open accessTiedosto
-
Seuraavan sukupolven rajoiteoptimointimenetelmiä
Järvisalo, M., Conati, A. F., Eskelinen, V., Jabs, C. J. & Lehtonen, T.
01/09/2023 → 31/08/2027
Projekti: Suomen Akatemia: Akatemiahanke
-
Symbolic Techniques for Formally Verified and Explainable AI
01/01/2020 → 31/12/2022
Projekti: Tutkimusprojekti
-
Declarative Boolean Optimization: Pushing the Envelope
01/09/2019 → 31/08/2023
Projekti: Tutkimusprojekti
-
Harnessing Constraint Reasoning for Structure Discovery
01/01/2015 → 31/12/2018
Projekti: Helsingin yliopiston kolmivuotinen tutkimushanke
-
Polynomisen hierarkian päätösproseduurit, Boolean optimointi, ja mallien laskenta
01/09/2014 → 31/08/2019
Projekti: Tutkimusprojekti
Palkinnot
-
2019 IJCAI-JAIR Best Paper Prize
Biere, Armin (Vastaanottaja), Heule, Marijn J.H. (Vastaanottaja), Järvisalo, Matti (Vastaanottaja), Lonsing, Florian (Vastaanottaja) & Seidl, Martina (Vastaanottaja), 2019
Palkinto: Palkinnot ja kunnianosoitukset
-
Best Researcher Award 2011: Department of Computer Science, University of Helsinki
Järvisalo, Matti (Vastaanottaja), 2011
Palkinto: Palkinnot ja kunnianosoitukset
-
CP 2017 Distinguished Paper Award
Bacchus, Fahiem (Vastaanottaja), Hyttinen, Antti (Vastaanottaja), Järvisalo, Matti (Vastaanottaja) & Saikko, Paul Henrik Alexander (Vastaanottaja), 2017
Palkinto: Palkinnot ja kunnianosoitukset
-
ECAI 2016 Runner-Up Best Student Paper Award
Niskanen, Andreas (Vastaanottaja), Wallner, Johannes Peter (Vastaanottaja) & Järvisalo, Matti (Vastaanottaja), 2016
Palkinto: Palkinnot ja kunnianosoitukset
-
Honorary Mention at ICCMA 2015: 1st International Competition on Computation Models of Argumentation
Järvisalo, Matti (Vastaanottaja), 2015
Palkinto: Palkinnot ja kunnianosoitukset
Aktiviteetit
-
Expressiveness versus Efficiency Workshop, part of the Satisfiability: Theory, Practice, and Beyond Program
Matti Järvisalo (Järjestäjätoimikunnan jäsen)
2021Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
MSc Supervisor of Esa Kemppainen
Matti Järvisalo (Ohjaaja)
2020Aktiviteetti: Tutkimustyypit › Muun opinnäytteen ohjaus (pro gradu, lisensiaattityö)
-
MSc Supervisor of Jarkko Savela
Matti Järvisalo (Ohjaaja)
2020Aktiviteetti: Tutkimustyypit › Muun opinnäytteen ohjaus (pro gradu, lisensiaattityö)
-
24th European Conference on Artificial Intelligence (ECAI 2020) (Tapahtuma)
Matti Järvisalo (Ohjelmatoimikunnan jäsen)
2020Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
17th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2020) (Tapahtuma)
Matti Järvisalo (Ohjelmatoimikunnan jäsen)
2020Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi