Incremental Maximum Satisfiability

Publiceringsår

2022

Upphovspersoner

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

Organisationer och upphovspersoner

Helsingfors universitet

Niskanen Andreas

Berg Jeremias

Järvisalo Matti

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Konferens

Artikelstyp

Annan artikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

UKM:s publikationstyp

A4 Artikel i en konferenspublikation

Publikationskanalens uppgifter

Volym

236

Sidor

14:1-14:19

ISBN

978-3-95977-242-6

Publikationsforum

9371

Publikationsforumsnivå

Öppen tillgång

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

Öppen tillgång till publikationskanalen

Helt öppen publikationskanal

Licens för förläggarens version

CC BY

Parallellsparad

Parallellagringens licens

CC BY

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap

Publiceringsland

Tyskland

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Nej

Sampublikation med ett företag

Nej

DOI

10.4230/LIPIcs.SAT.2022.14