Projects per year
Projects
- 1 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