Constraint Reasoning and Optimization (CoReO) -ryhmä kehittää eksakteja automatisoituja päättelymenetelmiä (mukaan lukien päätös-, haku- ja optimointimenenetelmät, erityisesti toteutuvuustarkastus ja diskreetti optimointi) laskennallisesti haastaville reaalimaailman ongelmille. Tämän hetkisinä sovelluskohteina ovat muun muassa erilaiset tekoälyongelmant ja koneoppimistehtävät (luokittelu, rakenteenoppiminen).

Yhteyshenkilö: Akatemiatutkija Matti Järvisalo
Kotisivu: http://www.hiit.fi/cosco/coreo/