Equivalence Class Based Parity Reasoning with DPLL(XOR)
Julkaisuvuosi
2011
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
23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2011)
Kustantaja
Sivut
649-658
ISSN
ISBN
Julkaisufoorumi
Julkaisufoorumitaso
1
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Ei
Muut tiedot
Tieteenalat
Tilastotiede; Tietojenkäsittely ja informaatiotieteet; Sähkö-, automaatio- ja tietoliikennetekniikka, elektroniikka; Psykologia; Media- ja viestintätieteet; Sosiologia
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.1109/ICTAI.2011.103
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä