Solving Geometric Problems in Space-Conscious Models. - Yu Chen 016 (2009)