search result

Cover von Cooperating in Video Games?

Cooperating in Video Games?

Impossible! Undecidability of Team Multiplayer Games
Year: 2018
Media group: LIPIcs
Cover von Recursed Is Not Recursive

Recursed Is Not Recursive

A Jarring Result
Year: 2020
Media group: LIPIcs
Cover von Toward a General Complexity Theory of Motion Planning

Toward a General Complexity Theory of Motion Planning

Characterizing Which Gadgets Make Games Hard
Year: 2020
Media group: LIPIcs
Cover von The Computational Complexity of Portal and Other 3D Video Games

The Computational Complexity of Portal and Other 3D Video Games

Year: 2018
Media group: LIPIcs
Cover von Complexity of Motion Planning of Arbitrarily Many Robots

Complexity of Motion Planning of Arbitrarily Many Robots

Gadgets, Petri Nets, and Counter Machines
Author: Hendrickson, Dylan H.; Lynch, Jayson
Year: 2023
Media group: LIPIcs
Cover von Lower Bounds on Retroactive Data Structures

Lower Bounds on Retroactive Data Structures

Year: 2022
Media group: LIPIcs
Cover von Pushing Blocks via Checkable Gadgets

Pushing Blocks via Checkable Gadgets

PSPACE-Completeness of Push-1F and Block/Box Dude
Author: Lynch, Jayson
Year: 2022
Media group: LIPIcs
Cover von Dynamic Boolean Formula Evaluation

Dynamic Boolean Formula Evaluation

Year: 2021
Media group: LIPIcs
Cover von Walking Through Doors Is Hard, Even Without Staircases

Walking Through Doors Is Hard, Even Without Staircases

Proving PSPACE-Hardness via Planar Assemblies of Door Gadgets
Author: Lynch, Jayson
Year: 2020
Media group: LIPIcs
Cover von Tatamibari Is NP-Complete

Tatamibari Is NP-Complete

Author: Lynch, Jayson
Year: 2020
Media group: LIPIcs
OPEN V 11.1.0.0