Reduced Cost Fixing in MaxSAT
Julkaisuvuosi
2017
Tekijät
Bacchus, Fahiem; Hyttinen, Antti; Järvisalo, Matti; Saikko, Paul
Organisaatiot ja tekijät
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli:
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Lehti/Sarja
Emojulkaisun nimi
Kustantaja
Volyymi
10416
Sivut
641-651
ISSN
ISBN
Julkaisufoorumi
Julkaisufoorumitaso
2
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Kyllä
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Julkaisumaa
Sveitsi
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Kyllä
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.1007/978-3-319-66158-2_41
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä