Re-using Auxiliary Variables for MaxSAT Preprocessing
Julkaisuvuosi
2015
Tekijät
Berg, Otto Jeremias; Saikko, Paul Henrik Alexander; Järvisalo, Matti Juhani
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
Sivut
813-820
ISSN
ISBN
Julkaisufoorumi
Julkaisufoorumitaso
1
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei tietoa
Rinnakkaistallennettu
Ei tietoa
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Tunnistettu aihe
[object Object]
Julkaisumaa
Italia
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei tietoa
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä