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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results