On the Relative Efficiency of DPLL and OBDDs with Axiom and Join
Publiceringsår
2011
Upphovspersoner
Järvisalo, Matti
Organisationer och upphovspersoner
Helsingfors universitet
Järvisalo Matti
Publikationstyp
Publikationsform
Artikel
Moderpublikationens typ
Konferens
Artikelstyp
Annan artikel
Målgrupp
VetenskapligKollegialt utvärderad
Kollegialt utvärderadUKM:s publikationstyp
A4 Artikel i en konferenspublikationPublikationskanalens uppgifter
Journal/Serie
Volym
6876
Sidor
429-437
ISSN
Publikationsforum
Publikationsforumsnivå
1
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Ingen information
Parallellsparad
Okänd
Övriga uppgifter
Vetenskapsområden
Data- och informationsvetenskap
Publiceringsland
Italien
Språk
engelska
Internationell sampublikation
Nej
Sampublikation med ett företag
Okänd
DOI
10.1007/978-3-642-23786-7_33
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja