Temporal Planning with Clock-Based SMT Encodings
Julkaisuvuosi
2017
Tekijät
Rintanen, Jussi
Organisaatiot ja tekijät
Aalto-yliopisto
Rintanen Jussi 
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli:
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Lehti/Sarja
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence
Emojulkaisun nimi
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence
Kustantaja
Sivut
743-749
ISSN
ISBN
Julkaisufoorumi
Julkaisufoorumitaso
2
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Ei
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Avainsanat
[object Object],[object Object],[object Object]
Tunnistettu aihe
[object Object]
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.24963/ijcai.2017/103
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä