Solving Parity Games by a Reduction to SAT

Year of publication

2012

Authors

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

Organizations and authors

Aalto University

Niemelä Ilkka

Heljanko Keijo

Publication type

Publication format

Article

Parent publication type

Journal

Article type

Original article

Audience

Scientific

Peer-reviewed

Peer-Reviewed

MINEDU's publication type classification code

A1 Journal article (refereed), original research

Publication channel information

Journal/Series

Journal of Computer and System Sciences

Publisher

Elsevier

Volume

Issue

Pages

430-440

ISSN

0022-0000

Publication forum

60002

Publication forum level

Open access

Open access in the publisher’s service

Self-archived

Other information

Fields of science

Statistics and probability; Computer and information sciences; Electronic, automation and communications engineering, electronics; Psychology; Media and communications; Sociology

Keywords

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

Internationality of the publisher

International

Language

English

International co-publication

Yes

Co-publication with a company

Yes

DOI

10.1016/j.jcss.2011.05.004

The publication is included in the Ministry of Education and Culture’s Publication data collection

Yes