Incremental logic-based procedures beyond NP
Bidragets beskrivning
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.
Visa merStartår
2022
Slutår
2025
Beviljade finansiering
Finansiär
Finlands Akademi
Typ av finansiering
Forskardoktorer
Utlysning
Övriga uppgifter
Finansieringsbeslutets nummer
347588
Vetenskapsområden
Data- och informationsvetenskap
Forskningsområden
Tietojenkäsittelytieteet
Identifierade teman
computer science, information science, algorithms