Dominique Michelucci, Pascal Schreck, Simon E. B. Thierry, Christoph Fünfzig, Jean-David Génevaux. Using the witness method to detect rigid subsystems of geometric constraints in CAD. In Gershon Elber, Anath Fischer, John Keyser, Myung-Soo Kim, editors, ACM Symposium on Solid and Physical Modeling, Proceedings of the 14th ACM Symposium on Solid and Physical Modeling, SPM 2010, Haifa, Israel, September 1-3, 2010. pages 91-100, ACM, 2010. [doi]
Abstract is missing.