The Constraint Reasoning and Optimization group, led by Professor Matti Järvisalo, focuses on the development and analysis of state-of-the-art decision, search, and optimization procedures, and their ...

The methodology includes constraint solving algorithms, systematic and heuristic search procedures, constraint optimization, belief propagation and multiagent systems. Our research group forms the SFU ...

The Constraint Reasoning and Optimization group invites applications for a 2019 summer internship in the group from talented and motivated computer science and math students. Are you interested in ...