Temporal Planning with Clock-Based SMT Encodings

Publiceringsår

2017

Upphovspersoner

Rintanen, Jussi

Organisationer och upphovspersoner

Aalto-universitetet

Rintanen Jussi

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Konferens

Artikelstyp

Annan artikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

UKM:s publikationstyp

A4 Artikel i en konferenspublikation

Publikationskanalens uppgifter

Sidor

743-749

ISSN

1045-0823

ISBN

978-0-9992411-0-3

Publikationsforum

58173

Publikationsforumsnivå

Öppen tillgång

Öppen tillgänglighet i förläggarens tjänst

Nej

Parallellsparad

Nej

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap

Nyckelord

[object Object],[object Object],[object Object]

Identifierade tema

[object Object]

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Nej

Sampublikation med ett företag

Nej

DOI

10.24963/ijcai.2017/103