Extending Clause Learning SAT Solvers with Complete Parity Reasoning
Julkaisuvuosi
2012
Tekijät
Laitinen, Tero; Junttila, Tommi; Niemelä, Ilkka
Organisaatiot ja tekijät
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli:
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Emojulkaisun nimi
2012 IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012
Kustantaja
Volyymi
1
Artikkelinumero
6495030
Sivut
65-72
ISSN
ISBN
Julkaisufoorumi
Julkaisufoorumitaso
1
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Ei
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Avainsanat
[object Object]
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.1109/ICTAI.2012.18
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä