Overview and Analysis of the SAT Challenge 2012 Solver Competition
Julkaisuvuosi
2015
Tekijät
Balint, Adrian; Belov, Anton; Järvisalo, Matti; Sinz, Carsten
Organisaatiot ja tekijät
Helsingin yliopisto
Järvisalo Matti
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Lehti
Artikkelin tyyppi
Alkuperäisartikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessäJulkaisukanavan tiedot
Lehti
Artificial Intelligence
Emojulkaisun nimi
Volyymi
223
Sivut
120-155
ISSN
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei tietoa
Rinnakkaistallennettu
Ei tietoa
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Julkaisumaa
Alankomaat
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Kyllä
Yhteisjulkaisu yrityksen kanssa
Ei tietoa
DOI
10.1016/j.artint.2015.01.002
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä