Algorithms and conditional lower bounds for planning problems
- Chatterjee, Krishnendu
- Dvořák, Wolfgang
- Svozil, Alexander
- Henzinger, Monika
Projects
- ERC Advanced Grant: Challenges in Graph Algorithms with Applications
- Efficient Algorithms for Computer Aided Verification
Shortfacts
Category |
Journal Paper |
Divisions |
Theory and Applications of Algorithms |
Subjects |
Theoretische Informatik |
Journal or Publication Title |
Artificial Intelligence |
ISSN |
0004-3702 |
Date |
March 2021 |
Export |