Pages that link to "Item:Q509884"
From MaRDI portal
The following pages link to Did the train reach its destination: the complexity of finding a witness (Q509884):
Displaying 9 items.
- Trains, games, and complexity: 0/1/2-player motion planning through input/output gadgets (Q2154096) (← links)
- Tracks from hell -- when finding a proof may be easier than checking it (Q2196558) (← links)
- Tracks from hell - When finding a proof may be easier than checking it (Q3305722) (← links)
- ARRIVAL: A Zero-Player Graph Game in NP ∩ coNP (Q4604381) (← links)
- (Q4989405) (← links)
- ARRIVAL: Next Stop in CLS (Q5002737) (← links)
- Reachability Switching Games (Q5002810) (← links)
- Hardness of Continuous Local Search: Query Complexity and Cryptographic Lower Bounds (Q5138782) (← links)
- Trains, games, and complexity: 0/1/2-player motion planning through input/output gadgets (Q6165551) (← links)