Research output per year
Research output per year
Project Details
| Short title | Knäcking av Kruxet i Kombinatorisk Optim |
|---|---|
| Status | Active |
| Effective start/end date | 01/09/2024 → 31/08/2028 |
Funding
- Suomen Akatemia Projektilaskutus: €858,946.00
Research output
- 4 Conference contribution
-
Certifying Pareto Optimality in Multi-objective Maximum Satisfiability
Jabs, C., Berg, J., Bogaerts, B. & Järvisalo, M., 31 May 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, p. 108-129 32 p. (Lecture Notes in Computer Science; vol. 15697).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile -
Engineering and Evaluating Multi-objective Pseudo-Boolean Optimizers
Jabs, C., Berg, J. & Järvisalo, M., 29 Aug 2025, Logics in Artificial Intelligence - 19th European Conference, JELIA 2025, Proceedings. Casini, G., Dundua, B. & Kutsia, T. (eds.). Springer Science and Business Media Deutschland GmbH, p. 115-134 20 p. (Lecture Notes in Computer Science; vol. 16093 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
-
From Scalable SAT to MaxSAT: Massively Parallel Solution Improving Search
Schreiber, D., Jabs, C. & Berg, J., 2025, 18th International Symposium on Combinatorial Search, SoCS 2025. Likhachev, M., Rudová, H. & Scala, E. (eds.). Association for the Advancement of Artificial Intelligence, p. 127-135 9 p. (The International Symposium on Combinatorial Search; vol. 18).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile