Certified MaxSAT Preprocessing
Julkaisuvuosi
2024
Tekijät
Ihalainen, Hannes; Oertel, Andy; Tan, Yong Kiam; Berg, Jeremias; Järvisalo, Matti; Myreen, Magnus O.; Nordström, Jakob
Organisaatiot ja tekijät
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Emojulkaisun nimi
Emojulkaisun toimittajat
Benzmüller, Christoph; Heule, Marijn J. H.; Schmidt, Renate A.
Volyymi
14739
Sivut
396-418
ISSN
ISBN
Julkaisufoorumi
Julkaisufoorumitaso
1
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Kyllä
Julkaisukanavan avoin saatavuus
Kokonaan avoin julkaisukanava
Kustantajan version lisenssi
CC BY
Rinnakkaistallennettu
Kyllä
Rinnakkaistallenteen lisenssi
CC BY
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Julkaisumaa
Saksa
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Kyllä
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.1007/978-3-031-63498-7_24
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä