Preprocessing in SAT Solving
Julkaisuvuosi
2021
Tekijät
Biere, Armin; Järvisalo, Matti; Kiesl, Benjamin
Organisaatiot ja tekijät
Helsingin yliopisto
Järvisalo Matti
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Kokoomateos
Artikkelin tyyppi
Muu artikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A3 Kirjan tai muun kokoomateoksen osaJulkaisukanavan tiedot
Emojulkaisun nimi
Emojulkaisun toimittajat
Biere, Armin; Heule, Marijn; van Maaren, Hans; Walsh, Toby
Kustantaja
Volyymi
336
Sivut
391 - 435
ISBN
Julkaisufoorumi
Julkaisufoorumitaso
1
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Ei
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Julkaisumaa
Alankomaat
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Kyllä
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.3233/FAIA200992
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä