The Effect of Structural Branching on the Efficiency of Clause Learning SAT Solving An Experimental Study
Julkaisuvuosi
2008
Tekijät
Järvisalo, Matti; Niemelä, Ilkka
Organisaatiot ja tekijät
Aalto-yliopisto
Niemelä Ilkka 
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Lehti
Artikkelin tyyppi
Alkuperäisartikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessäJulkaisukanavan tiedot
Kustantaja
Volyymi
63
Numero
1-3
Sivut
90-113
ISSN
Julkaisufoorumi
Julkaisufoorumitaso
2
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Ei
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Avainsanat
[object Object],[object Object],[object Object],[object Object],[object Object]
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.1016/j.jalgor.2008.02.005
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä