Computing Smallest MUSes of Quantified Boolean Formulas

Julkaisuvuosi

2022

Tekijät

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

Organisaatiot ja tekijät

Helsingin yliopisto

Niskanen Andreas

Mustonen Jere Verneri

Berg Jeremias

Järvisalo Matti

Julkaisutyyppi

Julkaisumuoto

Artikkeli

Emojulkaisun tyyppi

Konferenssi

Artikkelin tyyppi

Muu artikkeli

Yleisö

Tieteellinen

Vertaisarvioitu

OKM:n julkaisutyyppiluokitus

A4 Artikkeli konferenssijulkaisussa

Julkaisukanavan tiedot

Volyymi

13416

Sivut

301–314

ISSN

0302-9743

ISBN

978-3-031-15707-3

Julkaisufoorumi

62555

Julkaisufoorumitaso

Avoin saatavuus

Avoin saatavuus kustantajan palvelussa

Rinnakkaistallennettu

Kyllä

Muut tiedot

Tieteenalat

Tietojenkäsittely ja informaatiotieteet

Avainsanat

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

Julkaisumaa

Yhdysvallat (USA)

Kustantajan kansainvälisyys

Kansainvälinen

Kieli

englanti

Kansainvälinen yhteisjulkaisu

Yhteisjulkaisu yrityksen kanssa

DOI

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

Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen