Improved Ackermannian Lower Bound for the Petri Nets Reachability Problem
- Publication date
- 1 January 2022
- Publisher
- LIPIcs - Leibniz International Proceedings in Informatics. 39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022)