Forskningsresultat per år
Forskningsresultat per år
Personlig profil
Vetenskapsgrenar
- 113 Data- och informationsvetenskap
Internationellt och inhemskt samarbete
Publikationer och projekt inom de senaste fem åren.
-
Certified MaxSAT Preprocessing
Ihalainen, H., Oertel, A., Tan, Y. K., Berg, J., Järvisalo, M., Myreen, M. O. & Nordström, J., 1 juli 2024, Automated Reasoning. IJCAR 2024.. Benzmüller, C., Heule, M. J. H. & Schmidt, R. A. (red.). Springer Science and Business Media Deutschland GmbH, s. 396-418 23 s. (Lecture Notes in Computer Science; vol. 14739).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil -
Unifying SAT-Based Approaches to Maximum Satisfiability Solving
Ihalainen, H., Berg, J. & Järvisalo, M., 2024, I: Journal of Artificial Intelligence Research. 80, s. 931-976 46 s.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil -
Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization
Jabs, C., Berg, J., Ihalainen, H. E. & Järvisalo, M., 2023, 29th International Conference on Principles and Practice of Constraint Programming (CP 2023). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 18:1-18:20 (Leibniz International Proceedings in Informatics (LIPIcs); vol. 280).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil -
Unifying Core-Guided and Implicit Hitting Set based Optimization
Ihalainen, H. E., Berg, J. & Järvisalo, M., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023). International Joint Conference on Artificial Intelligence, Inc, s. 1935-1943 9 s.Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil -
Clause Redundancy and Preprocessing in Maximum Satisfiability
Ihalainen, H. E., Berg, J. & Järvisalo, M., 2022, Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings. Blachette, J., Kovács, L. & Pattinson, D. (red.). Springer International Publishing AG, s. 75-94 20 s. (Lecture Notes in Computer Science; vol. 13385).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil