Projekt per år
Originalspråk | engelska |
---|---|
Titel på värdpublikation | Handbook of Satisfiability |
Redaktörer | Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh |
Förlag | IOS PRESS |
Utgivningsdatum | 2021 |
Utgåva | 2 |
Sidor | 391 - 435 |
ISBN (tryckt) | 978-1-64368-160-3 |
ISBN (elektroniskt) | 978-1-64368-161-0 |
DOI | |
Status | Publicerad - 2021 |
MoE-publikationstyp | A3 Del av bok eller annan forskningsbok |
Publikationsserier
Namn | Frontiers in Artificial Intelligence and Applications |
---|---|
Förlag | IOS Press |
Volym | 336 |
Vetenskapsgrenar
- 113 Data- och informationsvetenskap
Projekt
- 1 Slutfört
-
Declarative Boolean Optimization: Pushing the Envelope
Järvisalo, M. (Principal Investigator)
01/09/2019 → 31/08/2023
Projekt: Forskningsprojekt