Incremental logic-based procedures beyond NP
Description of the granted funding
The objective of this project is to develop incremental procedures based on Boolean satisfiability solvers and their extensions for computational problems with beyond-NP complexity.
Show moreStarting year
2022
End year
2025
Granted funding
Funder
Research Council of Finland
Funding instrument
Postdoctoral Researcher
Other information
Funding decision number
347588
Fields of science
Computer and information sciences
Research fields
Tietojenkäsittelytieteet
Identified topics
computer science, information science, algorithms