Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization

Christoph Jabs, Jeremias Berg, Hannes Edvard Ihalainen, Matti Järvisalo

Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

1 Slutfört
1 Aktiv

2 resultat

Aktiv

Next-generation Unsatisfiabillity-based Declarative Optimization
Järvisalo, M. (Projektledare), Conati, A. F. (deltagare), Eskelinen, V. (deltagare), Feyzbakhsh Rankooh, M. (deltagare), Jabs, C. J. (deltagare) & Lehtonen, T. (deltagare)
Finlands Akademi
01/09/2023 → 31/08/2027
Projekt: Finlands Akademi: Akademiprojektsbidrag
Slutfört

Declarative Boolean Optimization: Pushing the Envelope
Järvisalo, M. (Principal Investigator)
01/09/2019 → 31/08/2023
Projekt: Forskningsprojekt