Next-generation Unsatisfiabillity-based Declarative Optimization
Description of the granted funding
The project develops next-generation generic computational methodology and practical tools that allow for declaratively solving various types of computationally hard, complex real-world optimization problems, and provides fundamental insights into the algorithmic techniques underlying the tools.
Show moreStarting year
2023
End year
2027
Granted funding
Funder
Research Council of Finland
Funding instrument
Academy projects
Decision maker
Scientific Council for Natural Sciences and Engineering
06.06.2023
06.06.2023
Other information
Funding decision number
356046
Fields of science
Computer and information sciences
Research fields
Tietojenkäsittelytieteet
Identified topics
computer science, information science, algorithms