Algebraic geometry and group theory in geometric constraint satisfaction for computer-aided design and assembly planning