Solving Parity Games by a Reduction to SAT

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

doi:10.1016/j.jcss.2011.05.004

Solving Parity Games by a Reduction to SAT

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

Research output: Contribution to journal › Article › Scientific › peer-review

Original language	English
Journal	Journal of Computer and System Sciences
Volume	78
Issue number	2
Pages (from-to)	430-440
ISSN	0022-0000
DOIs	https://doi.org/10.1016/j.jcss.2011.05.004
Publication status	Published - 2012
Externally published	Yes
MoE publication type	A1 Journal article-refereed

Fields of Science

Difference logic
Parity games
Propositional satisfiability

Access to Document

10.1016/j.jcss.2011.05.004

Cite this

@article{b96eadaa29fd4e2aa4f70ad08bc2f420,

title = "Solving Parity Games by a Reduction to SAT",

keywords = "Difference logic, Parity games, Propositional satisfiability, Difference logic, Parity games, Propositional satisfiability, Difference logic, Parity games, Propositional satisfiability",

author = "Keijo Heljanko and Misa Kein{\"a}nen and Martin Lange and Ilkka Niemel{\"a}",

year = "2012",

doi = "10.1016/j.jcss.2011.05.004",

language = "English",

volume = "78",

pages = "430--440",

journal = "Journal of Computer and System Sciences",

issn = "0022-0000",

publisher = "ACADEMIC PRESS INC ELSEVIER SCIENCE",

number = "2",

}

TY - JOUR

T1 - Solving Parity Games by a Reduction to SAT

AU - Heljanko, Keijo

AU - Keinänen, Misa

AU - Lange, Martin

AU - Niemelä, Ilkka

PY - 2012

Y1 - 2012

KW - Difference logic

KW - Parity games

KW - Propositional satisfiability

KW - Difference logic

KW - Parity games

KW - Propositional satisfiability

KW - Difference logic

KW - Parity games

KW - Propositional satisfiability

U2 - 10.1016/j.jcss.2011.05.004

DO - 10.1016/j.jcss.2011.05.004

M3 - Article

VL - 78

SP - 430

EP - 440

JO - Journal of Computer and System Sciences

JF - Journal of Computer and System Sciences

SN - 0022-0000

IS - 2

ER -