An ATMS-based geometric constraint solver for 3D CAD | IEEE Conference Publication | IEEE Xplore