On the Relative Efficiency of DPLL and OBDDs with Axiom and Join
Julkaisuvuosi
2011
Tekijät
Järvisalo, Matti
Organisaatiot ja tekijät
Helsingin yliopisto
Järvisalo Matti
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli:
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Lehti/Sarja
Volyymi
6876
Sivut
429-437
ISSN
Julkaisufoorumi
Julkaisufoorumitaso
1
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei tietoa
Rinnakkaistallennettu
Ei tietoa
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Julkaisumaa
Italia
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei tietoa
DOI
10.1007/978-3-642-23786-7_33
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä