A 3D geometric constraint solver for direct manipulation of B-rep model | IEEE Conference Publication | IEEE Xplore