Inkrementaalisia logiikkapohjaisia menetelmiä yli vaativuusluokan NP
Rahoitetun hankkeen kuvaus
Hankkeen tavoitteena on kehittää propositiologiikan toteutuvuustarkastimiin sekä niiden laajennoksiin perustuvia inkrementaalisia menetelmiä laskennallisille ongelmille, joiden vaativuus on yli luokan NP.
Näytä enemmänAloitusvuosi
2022
Päättymisvuosi
2025
Myönnetty rahoitus
Muut tiedot
Rahoituspäätöksen numero
347588
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Tutkimusalat
Tietojenkäsittelytieteet
Tunnistetut aiheet
computer science, information science, algorithms