@misc{indiciae86e23c1d45fa, title = {On Limitations of the Witness Configuration Method for Geometric Constraint Solving in CAD Modeling}, author = {Qiang Zou and Hsi-Yung Feng}, year = {2019}, url = {https://arxiv.org/abs/1904.00526}, note = {Source identifier: 1904.00526} }