The Constraint Reasoning and Optimization group, led by Associate Professor 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 in exactly solving intrinsically hard (NP-complete and beyond) computational tasks. Recent domain-specific directions include exact approaches to solving machine learning related optimization problems and computational aspects of argumentation theory.
Constraint Reasoning and Optimization
Paper accepted at CPAIOR 2020
The work generalizes ideas from core-guided maximum satisfiability to more general finite-domain constraint optimization.
Opening: Postdoctoral researcher in SAT, constraints, optimization, explainable & verified AI
The Constraint Reasoning and Optimization Group led by Matt Järvisalo at the University of Helsinki has openings for postdoctoral researchers...
Summer Jobs in the Constraint Reasoning and Optimization Group
Constraint Reasoning and Optimization Group is offering summer internships to BSc and MSc level students, providing a hands-on experience to...
Four papers accepted to ECAI 2020
Four research papers by the Constraint Reasoning and Optimization Group have been accepted for publication in the proceedings of ECAI 2020, the...
Four-year funded PhD position to Tuomo Lehtonen
Lehtonen starts his full-time PhD studies within the Constraint Reasoning and Optimization Group in the beginning of 2020.