Enabling Incrementality in the Implicit Hitting Set Approach to MaxSAT under Changing Weights

Publiceringsår

2021

Upphovspersoner

Niskanen, Andreas; Berg, Jeremias; Järvisalo, Matti

Organisationer och upphovspersoner

Helsingfors universitet

Niskanen Andreas

Berg Jeremias

Järvisalo Matti

Publikationstyp

Publikationsform

Artikel

Rapport

Nej

Moderpublikationens typ

Konferens

Artikelstyp

Annan artikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

UKM:s publikationstyp

A4 Artikel i en konferenspublikation

Publikationskanalens uppgifter

Volym

210

Sidor

44:1-44:19

ISSN

1868-8969

Publikationsforum

79091

Publikationsforumsnivå

Öppen tillgång

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

Öppen tillgång till publikationskanalen

Helt öppen publikationskanal

Parallellsparad

Parallellagringens licens

CC BY

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap

Identifierade tema

[object Object]

Publiceringsland

Tyskland

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Nej

Sampublikation med ett företag

Nej

DOI

10.4230/LIPIcs.CP.2021.44