Implicit Hitting Set Algorithms for Reasoning Beyond NP
Julkaisuvuosi
2016
Tekijät
Saikko, Paul Henrik Alexander; Wallner, Johannes Peter; Järvisalo, Matti Juhani
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
Kustantaja
Sivut
104-113
ISBN
Julkaisufoorumi
Julkaisufoorumitaso
1
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Kyllä
Julkaisukanavan avoin saatavuus
Kokonaan avoin julkaisukanava
Rinnakkaistallennettu
Ei
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Tunnistettu aihe
[object Object]
Julkaisumaa
Yhdysvallat (USA)
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä