Projektin yksityiskohdat
| Lyhennetty nimi | Seuraavan sukupolven rajoiteoptimointime |
|---|---|
| Tila | Käynnissä |
| Todellinen alku/loppupvm | 01/09/2023 → 31/08/2027 |
Rahoitus
- Suomen Akatemia: 531 219,00 €
-
Multi-objective Maximum Satisfiability by Single-objective Implicit Hitting Set Optimization
Jabs, C., Berg, J. & Järvisalo, M., 25 helmik. 2026, (Hyväksytty/In press) Integration of Constraint Programming, Artificial Intelligence, and Operations Research—23rd International Conference. Guns, T. (toim.). Springer Science and Business Media Deutschland GmbH, (Lecture Notes in Computer Science; Vuosikerta 16595).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
-
Scuttle: A System for Multi-Objective MaxSAT
Jabs, C., Berg, J. & Järvisalo, M., 1 toukok. 2026, (Hyväksytty/In press) 29th International Conference on Theory and Applications of Satisfiability Testing (SAT 2026). Ignatiev, A. & Szeider, S. (toim.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (Leibniz International Proceedings in Informatics (LIPIcs); Vuosikerta 341).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
Certifying Pareto Optimality in Multi-objective Maximum Satisfiability
Jabs, C., Berg, J., Bogaerts, B. & Järvisalo, M., 31 toukok. 2025, Tools and Algorithms for the Construction and Analysis of Systems---31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3--8, 2025, Proceedings, Part II. Springer Science and Business Media Deutschland GmbH, s. 108-129 32 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 15697).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto