Abstract: In computer-aided design, geometric modeling by constraints enables users to describe shapes by relationships, called constraints between geometric elements. The problem is to derive ...