Depth-Driven Circuit-Level Stochastic Local Search for SAT
Julkaisuvuosi
2011
Tekijät
Belov, Anton; Järvisalo, Matti; Stachniak, Zbigniew
Organisaatiot ja tekijät
Helsingin yliopisto
Järvisalo Matti
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Emojulkaisun nimi
Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011)
Sivut
504-509
ISBN
Julkaisufoorumi
Julkaisufoorumitaso
2
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei tietoa
Rinnakkaistallennettu
Ei tietoa
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Julkaisumaa
Espanja
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Kyllä
Yhteisjulkaisu yrityksen kanssa
Ei tietoa
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä