Solving Parity Games by a Reduction to SAT

Publiceringsår

2012

Upphovspersoner

Heljanko, Keijo; Keinänen, Misa; Lange, Martin; Niemelä, Ilkka

Organisationer och upphovspersoner

Aalto-universitetet

Niemelä Ilkka

Heljanko Keijo

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Tidning

Artikelstyp

En originalartikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

UKM:s publikationstyp

A1 Originalartikel i en vetenskaplig tidskrift

Publikationskanalens uppgifter

Journal/Serie

Journal of Computer and System Sciences

Förläggare

Elsevier

Volym

Nummer

Sidor

430-440

ISSN

0022-0000

Publikationsforum

60002

Publikationsforumsnivå

Öppen tillgång

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

Nej

Parallellsparad

Nej

Övriga uppgifter

Vetenskapsområden

Statistik; Data- och informationsvetenskap; El-, automations- och telekommunikationsteknik, elektronik; Psykologi; Medie- och kommunikationsvetenskap; Sociologi

Nyckelord

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

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Sampublikation med ett företag

DOI

10.1016/j.jcss.2011.05.004