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 ...
Aqarios' platform Luna v1.0 marks a major milestone in quantum optimization. This release significantly improves usability, performance, and real-world applicability by introducing FlexQAOA, a hybrid ...
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 ...