Overview and Analysis of the SAT Challenge 2012 Solver Competition
Publiceringsår
2015
Upphovspersoner
Balint, Adrian; Belov, Anton; Järvisalo, Matti; Sinz, Carsten
Organisationer och upphovspersoner
Helsingfors universitet
Järvisalo Matti
Publikationstyp
Publikationsform
Artikel
Moderpublikationens typ
Tidning
Artikelstyp
En originalartikel
Målgrupp
VetenskapligKollegialt utvärderad
Kollegialt utvärderadUKM:s publikationstyp
A1 Originalartikel i en vetenskaplig tidskriftPublikationskanalens uppgifter
Journal
Artificial Intelligence
Moderpublikationens namn
Volym
223
Sidor
120-155
ISSN
Ö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
Nederländerna
Förlagets internationalitet
Internationell
Språk
engelska
Internationell sampublikation
Ja
Sampublikation med ett företag
Okänd
DOI
10.1016/j.artint.2015.01.002
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja