Misa Keinänen

Publication Activity (10 Years)

Years Active: 2004-2012
Publications (10 Years): 0

Top Topics

Nash Equilibria

Top Venues

J. Comput. Syst. Sci.

Publications

Keijo Heljanko, Misa Keinänen, Martin Lange, Ilkka Niemelä
Solving parity games by a reduction to SAT. J. Comput. Syst. Sci. 78 (2) (2012)
Helena Keinänen, Misa Keinänen
Simulated Annealing for Coalition Formation. ECAI (2008)
Keijo Heljanko, Tommi A. Junttila, Misa Keinänen, Martin Lange, Timo Latvala
Bounded Model Checking for Weak Alternating Büchi Automata. CAV (2006)
Jan Friso Groote, Misa Keinänen
A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems. ICTAC (2005)
Misa Keinänen
Obtaining Memory-Efficient Solutions to Boolean Equation Systems. Electron. Notes Theor. Comput. Sci. 133 (2005)
Jan Friso Groote, Misa Keinänen
Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points. TACAS (2004)
Misa Keinänen, Ilkka Niemelä
Solving Alternating Boolean Equation Systems in Answer Set Programming. INAP/WLP (2004)