Formal resolution of geometrical constraint systems by assembling
| Title: | Formal resolution of geometrical constraint systems by assembling |
|---|---|
| Authors: | Dufourd, Jean-François; Mathis, Pascal; Schreck, Pascal |
| Source: | Proceedings of the fourth ACM symposium on Solid modeling and applications. :271-284 |
| Availability: | http://dl.acm.org/doi/10.1145/267734.267804 |
| Database: | ACM Full-Text Collection |