Solving Parity Games by a Reduction to SAT (2012)
AUTHORS:
Heljanko Keijo
,
Keinänen Misa
,
Lange Martin,
Niemelä Ilkka
JOURNAL:
Journal of Computer and System Sciences
VOLUME:
78
PAGES:
430-440
URL:
http://dx.doi.org/10.1016/j.jcss.2011.05.004
@article{ HeljankoKLN:JCSS2011, author = {Heljanko, Keijo and Kein{\"a}nen, Misa and Lange, Martin and Niemel{\"a}, Ilkka}, responsibleauthor = "Heljanko, Keijo and Niemelä, Ilkka", language = "eng", title = "Solving Parity Games by a Reduction to {SAT}", ee = "http://dx.doi.org/10.1016/j.jcss.2011.05.004", journal = "Journal of Computer and System Sciences", issn = "0022-0000", number = "2", juforank = "3", volume = "78", url = "http://dx.doi.org/10.1016/j.jcss.2011.05.004", corerank = "A*", flags = "LOGIC MCM StNcDes HIIT copy", il = "yes", year = "2012", unitcode = "T306=99, T312=1", impactfactor = "A1", pages = "430-440" }