Enabling Incrementality in the Implicit Hitting Set Approach to MaxSAT under Changing Weights
Julkaisuvuosi
2021
Tekijät
Niskanen, Andreas; Berg, Jeremias; Järvisalo, Matti
Organisaatiot ja tekijät
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Raportti
Ei
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli: Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Emojulkaisun nimi
Konferenssi
27th International Conference on Principles and Practice of Constraint Programming (CP 2021)
Volyymi
210
Sivut
44:1-44:19
ISSN
Julkaisufoorumi
Julkaisufoorumitaso
1
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Kyllä
Julkaisukanavan avoin saatavuus
Kokonaan avoin julkaisukanava
Rinnakkaistallennettu
Kyllä
Rinnakkaistallenteen lisenssi
CC BY
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Tunnistettu aihe
[object Object]
Julkaisumaa
Saksa
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.4230/LIPIcs.CP.2021.44
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä