Abstract Cores in Implicit Hitting Set MaxSat Solving (Extended Abstract)
Julkaisuvuosi
2021
Tekijät
Berg, Jeremias; Bacchus, Fahiem; Poole, Alex
Organisaatiot ja tekijät
Helsingin yliopisto
Berg Jeremias
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Raportti
Ei
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli: Yleisö
TieteellinenVertaisarvioitu
Ei-vertaisarvioituOKM:n julkaisutyyppiluokitus
B3 Vertaisarvioimaton artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Emojulkaisun nimi
Proceedings of the 30th International Joint Conference on Artificial Intelligence, IJCAI 2021
Sivut
4745-4749
ISSN
ISBN
Julkaisufoorumi
Julkaisufoorumitaso
2
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Kyllä
Julkaisukanavan avoin saatavuus
Kokonaan avoin julkaisukanava
Rinnakkaistallennettu
Kyllä
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Tunnistettu aihe
[object Object]
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Kyllä
Yhteisjulkaisu yrityksen kanssa
Ei
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä