Arimaa Is PSPACE-Hard.

Benjamin G. Rin Atze Schipper

Published in: FUN (2024)

Keyphrases

image segmentation
color images
temporal logic
data analysis
preprocessing
constraint satisfaction problems
model checking
computationally hard
mazurkiewicz traces