@article{
    HeljankoKLN:JCSS2011_ini,
    author = {Heljanko, Keijo and Kein{\"a}nen, Misa and Lange, Martin and Niemel{\"a}, Ilkka},
    volume = "78",
    juforank = "3",
    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",
    pages = "430-440",
    responsibleauthor = "Heljanko, Keijo and Niemelä, Ilkka",
    url = "http://dx.doi.org/10.1016/j.jcss.2011.05.004",
    flags = "LOGIC MCM StNcDes HIIT copy",
    il = "yes",
    year = "2012",
    unitcode = "T306=99, T312=1",
    impactfactor = "A1",
    corerank = "A*"
}

AUTHORS:

URL:
http://dx.doi.org/10.1016/j.jcss.2011.05.004

AUTHORS:

URL: http://dx.doi.org/10.1016/j.jcss.2011.05.004

URL:
http://dx.doi.org/10.1016/j.jcss.2011.05.004