The Constraint Reasoning and Optimization group focuses on the development and analysis of state-of-the-art decision, search, and optimization procedures, and their applications in computationally hard problem domains with real-world relevance. Especially, the group contributes to the development state-of-the-art Boolean satisfiability (SAT) solvers, their extensions to Boolean optimization, and applications of SAT-based and other types of discrete search and optimization procedures (including heuristic search and combinatorial optimization techniques) in exactly solving intrinsically hard (NP-complete and beyond) computational tasks. Application-wise a current emphasis via the Finnish Centre of Excellence in Computational Inference Research COIN is on various computational problems related to machine learning, including different types of clustering, classification, and structure learning tasks.

Contact person: Academy Research Fellow Matti Järvisalo
Home page: http://www.hiit.fi/cosco/coreo/