Phutball is PSPACE-hard.

Dariusz Dereniowski

Published in: Theor. Comput. Sci. (2010)

Keyphrases

data sets
temporal logic
decision making
image segmentation
multi agent
search algorithm
computational complexity
data analysis
special case
model checking