Abstract Cores in Implicit Hitting Set MaxSat Solving
Publiceringsår
2020
Upphovspersoner
Berg, Jeremias; Bacchus, Fahiem; Poole, Alex
Organisationer och upphovspersoner
Helsingfors universitet
Berg Jeremias
Publikationstyp
Publikationsform
Artikel
Rapport
Nej
Moderpublikationens typ
Konferens
Artikelstyp
Annan artikelMålgrupp
VetenskapligKollegialt utvärderad
Kollegialt utvärderadUKM:s publikationstyp
A4 Artikel i en konferenspublikationPublikationskanalens uppgifter
Journal/Serie
Moderpublikationens namn
Förläggare
Volym
12178
Sidor
277-294
ISBN
Publikationsforum
Publikationsforumsnivå
2
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Nej
Parallellsparad
Ja
Övriga uppgifter
Vetenskapsområden
Data- och informationsvetenskap
Identifierade tema
[object Object]
Publiceringsland
Schweiz
Förlagets internationalitet
Internationell
Språk
engelska
Internationell sampublikation
Ja
Sampublikation med ett företag
Nej
DOI
10.1007/978-3-030-51825-7_20
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja