Relating Proof Complexity Measures and Practical Hardness of SAT
Publiceringsår
2012
Upphovspersoner
Järvisalo, Matti; Matsliah, Arie; Nordström, Jakob; Zivny, Stanislav
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
Moderpublikationens namn
Volym
7514
Sidor
316-331
ISSN
Publikationsforum
Ö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
Kanada
Förlagets internationalitet
Internationell
Språk
engelska
Internationell sampublikation
Ja
Sampublikation med ett företag
Okänd
DOI
10.1007/978-3-642-33558-7_25
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja