Atropos-k is PSPACE-complete

From MaRDI portal

Publication:6524430

Jump to:navigation, search

zbMatharXiv:2403.01662MaRDI QIDQ6524430

Chao Yang, Zhujun Zhang

Publication date: 1 January 1

This page was built for publication: Atropos-k is PSPACE-complete

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6524430&oldid=38002064"