Title: Solving a class of spatial reasoning problems
Subjects: Computer science