Tutkimustuotoksia vuodessa
Tutkimustuotoksia vuodessa
Projektin yksityiskohdat
| Tila | Käynnissä |
|---|---|
| Todellinen alku/loppupvm | 01/01/2020 → 31/12/2022 |
Tieteenalat
- 113 Tietojenkäsittely- ja informaatiotieteet
-
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., kesäk. 2022, julkaisussa: Artificial Intelligence. 307, 40 Sivumäärä, 103697.Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
Incremental Maximum Satisfiability
Niskanen, A., Berg, J. & Järvisalo, M., 2022, (Hyväksytty/In press) Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022). Schloss Dagstuhl - Leibniz-Zentrum für InformatikTutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
-
MaxSAT-Based Bi-Objective Boolean Optimization
Jabs, C. J., Berg, J., Niskanen, A. & Järvisalo, M., 2022, (Hyväksytty/In press) Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022). Schloss Dagstuhl - Leibniz-Zentrum für InformatikTutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu