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 koneoppimistehtävät (klassifiointi, rakenteenoppiminen), formaali argumentaatioteoria ja erilaiset tekoälyongelmat.

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