Constraint Reasoning and Optimization

HIIT & Department of Computer Science
University of Helsinki

Benchmark Collection

See here the current webpages of the Constraint Reasoning and Optimization Group.

Overview

The Constraint Reasoning and Optimization group, led by Dr. Matti Järvisalo, 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 related to the COIN Finnish Centre of Excellence in Computational Inference is on various computational problems related to machine learning, including different types of clustering, classification, and structure learning tasks.