Computing Smallest MUSes of Quantified Boolean Formulas

Publiceringsår

2022

Upphovspersoner

Niskanen, Andreas; Mustonen, Jere Verneri; Berg, Jeremias; Järvisalo, Matti

Organisationer och upphovspersoner

Helsingfors universitet

Niskanen Andreas

Mustonen Jere Verneri

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

13416

Sidor

301–314

ISSN

0302-9743

ISBN

978-3-031-15707-3

Publikationsforum

62555

Publikationsforumsnivå

Öppen tillgång

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

Nej

Parallellsparad

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap

Nyckelord

[object Object],[object Object],[object Object],[object Object]

Publiceringsland

Förenta staterna (USA)

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Nej

Sampublikation med ett företag

Nej

DOI

10.1007/978-3-031-15707-3_23