Author Info
Name
Affiliation
Papers
MISA KEINÄNEN
Dept. of Computer Science and Engineering, Lab. for Theoretical Comp. Science, Helsinki University of Technology, HUT, Finland
7
Collaborators
Citations 
PageRank 
7
38
3.59
Referers 
Referees 
References 
72
153
100
Search Limit
100153
Title
Citations
PageRank
Year
Solving parity games by a reduction to SAT110.592012
Simulated Annealing for Coalition Formation10.422008
Bounded model checking for weak alternating büchi automata120.692006
Obtaining Memory-Efficient Solutions to Boolean Equation Systems10.382005
A sub-quadratic algorithm for conjunctive and disjunctive boolean equation systems40.592005
Solving alternating boolean equation systems in answer set programming20.372004
Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points70.542004