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älyongelmat ja koneoppimistehtävät (luokittelu, rakenteenoppiminen).

Yhteyshenkilö: Dosentti Matti Järvisalo
Kotisivu: https://www.hiit.fi/node/1567