Forskningsresultat per år
Forskningsresultat per år
Personlig profil
Utbildning / akademisk kvalifikation
Computer Science, Doctor of Philosophy, Matematisk-naturvetenskapliga fakulteten
Tilldelningsdatum: 11 nov. 2020
Computer Science, Master of Science, Matematisk-naturvetenskapliga fakulteten
Tilldelningsdatum: 21 dec. 2016
Mathematics, Bachelor of Science, Matematisk-naturvetenskapliga fakulteten
Tilldelningsdatum: 20 maj 2016
Vetenskapsgrenar
- 113 Data- och informationsvetenskap
Internationellt och inhemskt samarbete
Publikationer och projekt inom de senaste fem åren.
-
Advanced Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving
Linsbichler, T., Maratea, M., Niskanen, A., Wallner, J. P. & Woltran, S., juni 2022, I: Artificial Intelligence. 307, 40 s., 103697.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil -
Computing Smallest MUSes of Quantified Boolean Formulas
Niskanen, A., Mustonen, J. V., Berg, J. & Järvisalo, M., aug. 2022, Proceedings of the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022). Gottlob, G., Inclezan, D. & Maratea, M. (red.). Springer, s. 301–314 14 s. (Lecture Notes in Computer Science; vol. 13416).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
-
Incremental Maximum Satisfiability
Niskanen, A., Berg, J. & Järvisalo, M., 2022, 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel. Meel, K. & Strichman, O. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 14:1-14:19 19 s. (LIPIcs; vol. 236).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil -
MaxSAT-Based Bi-Objective Boolean Optimization
Jabs, C. J., Berg, J., Niskanen, A. & Järvisalo, M., 2022, 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel. Meel, K. & Strichman, O. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 12:1-12:23 23 s. (LIPIcs; vol. 236).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil -
MaxSAT Evaluation 2022: Solver and Benchmark Descriptions
Bacchus, F. (red.), Berg, J. (red.), Järvisalo, M. (red.), Martins, R. (red.) & Niskanen, A. (red.), 2022, Helsinki: Department of Computer Science, University of Helsinki. 49 s. (Department of Computer Science Series of Publications B; vol. B-2022-2)Forskningsoutput: Bok/rapport › Antologi eller special utgåva › Vetenskaplig
Öppen tillgångFil
Projekter
- 1 Aktiv
-
Inkrementaalisia logiikkapohjaisia menetelmiä yli vaativuusluokan NP
01/09/2022 → 31/08/2025
Projekt: Finlands Akademi: Forskardoktor
Priser
-
ECAI 2016 Runner-Up Best Student Paper Award
Niskanen, Andreas Johannes Alexand (!!Recipient), Wallner, Johannes Peter (!!Recipient) & Järvisalo, Matti (!!Recipient), 2016
Pris: Pris och hedersbetygelser
-
ICCMA 2019 Main Track and Dynamic Track: First place
Niskanen, Andreas (!!Recipient) & Järvisalo, Matti (!!Recipient), 12 aug. 2019
Pris: Pris och hedersbetygelser
-
Outstanding Thesis Awards of the Doctoral School in Natural Sciences 2021
Niskanen, Andreas (!!Recipient), 20 dec. 2021
Pris: Pris och hedersbetygelser
-
PhD Thesis Award of the Research Foundation for Computer Science 2021
Niskanen, Andreas (!!Recipient), 25 aug. 2021
Pris: Pris och hedersbetygelser
Aktiviteter
- 2 Akademisk besök på annan institution
-
Heinrich-Heine-Universität Düsseldorf
Andreas Niskanen (Besökande forskare)
10 juni 2019 → 14 juni 2019Aktivitet: Typer för besök till extern institution › Akademisk besök på annan institution
-
Technische Universität Wien
Andreas Niskanen (Besökande forskare)
21 aug. 2017 → 20 okt. 2017Aktivitet: Typer för besök till extern institution › Akademisk besök på annan institution