Matti Järvisalo

Matti Järvisalo leads the Constraint Reasoning and Optimization Group at the University of Helsinki. His research interests are boolean satisfiability and generalizations, decision procedures, constraint satisfaction, combinatorial/discrete optimization, automated reasoning, artificial intelligence, operations research, knowledge representation, complexity of reasoning, computational aspects of argumentation, probabilistic graphical models, and structure discover.