Global Benchmark Database

Markus Iser, Christoph Jabs

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

1 results

Filter

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)
Academy of Finland
01/09/2023 → 31/08/2027
Project: Research Council of Finland: Academy Project