Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization

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

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

1 Finished
1 Active

2 results

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
Finished

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