Projects per year
Projects
- 2 Active
Search results
-
Active
Next-generation Unsatisfiabillity-based Declarative Optimization
Järvisalo, M. (Project manager), Conati, A. F. (Participant), Eskelinen, V. (Participant), Feyzbakhsh Rankooh, M. (Participant), Jabs, C. J. (Participant) & Lehtonen, T. (Participant)
01/09/2023 → 31/08/2027
Project: Research Council of Finland: Academy Project
-
Inkrementaalisia logiikkapohjaisia menetelmiä yli vaativuusluokan NP
Niskanen, A. (Project manager)
01/09/2022 → 31/08/2025
Project: Research Council of Finland: Postdoctoral Researcher