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 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 ...