Preprocessing in SAT Solving
Publiceringsår
2021
Upphovspersoner
Biere, Armin; Järvisalo, Matti; Kiesl, Benjamin
Organisationer och upphovspersoner
Helsingfors universitet
Järvisalo Matti
Publikationstyp
Publikationsform
Artikel
Moderpublikationens typ
Samlingsverk
Artikelstyp
Annan artikel
Målgrupp
VetenskapligKollegialt utvärderad
Kollegialt utvärderadUKM:s publikationstyp
A3 Del av bok eller annat samlingsverkPublikationskanalens uppgifter
Journal/Serie
Moderpublikationens namn
Förläggare
Volym
336
Sidor
391 - 435
ISBN
Publikationsforum
Publikationsforumsnivå
1
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Nej
Parallellsparad
Nej
Ö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
Nej
DOI
10.3233/FAIA200992
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja