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 artikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

Inte kollegialt utvärderad

UKM:s publikationstyp

B3 Icke-referentgranskad artikel i konferenspublikation

Publikationskanalens uppgifter

Sidor

4745-4749

ISSN

1045-0823

ISBN

978-0-9992411-9-6

Publikationsforum

58173

Publikationsforumsnivå

Öppen tillgång

Öppen tillgänglighet i förläggarens tjänst

Öppen tillgång till publikationskanalen

Helt öppen publikationskanal

Parallellsparad

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap

Identifierade tema

[object Object]

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Sampublikation med ett företag

Nej