Abstract Cores in Implicit Hitting Set MaxSat Solving (Extended Abstract)
Publiceringsår
2021
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
Inte kollegialt utvärderadUKM:s publikationstyp
B3 Icke-referentgranskad artikel i konferenspublikationPublikationskanalens uppgifter
Moderpublikationens namn
Proceedings of the 30th International Joint Conference on Artificial Intelligence, IJCAI 2021
Sidor
4745-4749
ISSN
ISBN
Publikationsforum
Publikationsforumsnivå
2
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Ja
Öppen tillgång till publikationskanalen
Helt öppen publikationskanal
Parallellsparad
Ja
Övriga uppgifter
Vetenskapsområden
Data- och informationsvetenskap
Identifierade tema
[object Object]
Förlagets internationalitet
Internationell
Språk
engelska
Internationell sampublikation
Ja
Sampublikation med ett företag
Nej
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja