@inproceedings{Chistikov_FOCS24,
TITLE = {The Tractability Border of Reachability in Simple Vector Addition Systems with States},
AUTHOR = {Chistikov, Dmitry and Czerwi{\'n}ski, Wojciech and Orlikowski, Lukasz and Mazowiecki, Filip and Sinclair-Banks, Henry and W{\k e}grzycki, Karol},
LANGUAGE = {eng},
ISBN = {979-8-3315-1674-1},
DOI = {10.1109/FOCS61266.2024.00086},
PUBLISHER = {IEEE},
YEAR = {2024},
MARGINALMARK = {$\bullet$},
DATE = {2024},
BOOKTITLE = {IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS 2024)},
PAGES = {1332--1354},
ADDRESS = {Chicago, IL, USA},
}