Matti Järvisalo

University of Helsinki

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.

Program Visits

Extended Reunion: Satisfiability, Spring 2023, Visiting Scientist
Satisfiability: Theory, Practice, and Beyond, Spring 2021, Visiting Scientist