undefined

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

Helsingin yliopisto

Wallner Johannes Peter

Järvisalo Matti Juhani

Saikko Paul Henrik Alexander

Julkaisutyyppi

Julkaisumuoto

Artikkeli

Raportti

Ei

Emojulkaisun tyyppi

Konferenssi

Artikkelin tyyppi

Muu artikkeli:

Yleisö

Tieteellinen

Vertaisarvioitu

Vertaisarvioitu

OKM:n julkaisutyyppiluokitus

A4 Artikkeli konferenssijulkaisussa

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ä