A Principled Approach Towards Symbolic Geometric Constraint Satisfaction