On spatial constraint solving approaches

Christoph M Hoffmann   and  Bo Yuan

International Workshop on Automated Deduction in Geometry - 2000

International Workshop on Automated Deduction in Geometry - 2000

---

Hoffmann, Christoph M., and Bo Yuan. “On Spatial Constraint Solving Approaches.” International Workshop on Automated Deduction in Geometry, Springer, 2000, pp. 1–15, doi:10.1007/3-540-45410-1_1.

@inproceedings{hoffmann2000spatial,
  title = {On spatial constraint solving approaches},
  author = {Hoffmann, Christoph M and Yuan, Bo},
  booktitle = {International Workshop on Automated Deduction in Geometry},
  pages = {1--15},
  year = {2000},
  organization = {Springer},
  doi = {10.1007/3-540-45410-1_1},
  pdf = {Hoffmann-International_Workshop_on_autmated_Deduction_in_Geo-2000-On_spartial_Contraint_Solving_Approaches.pdf}
}