| [1] | A. Soto and S. Vila. TSC V1.2 User Manual.
Universitat Politècnica de Catalunya, Dept Llenguatges i
Sistemes Informàtics, January 1994. [ bib ] |
| [2] | R. Joan-Arinyo and A. Soto-Riera. Generación de formas
geométricas definidas mediante restricciones. In IV
Congreso Español de Informática Gráfica, pages 143-161.
Eurographics, June 1994. In Spanish. [ bib ] |
| [3] | R. Joan-Arinyo and A. Soto-Riera. Correctness proof of a
rule-constructive geometric constraint solver. In V
Congreso Español de Informática Gráfica, pages 239-254.
Eurographics, June 1995. [ bib ] |
| [4] | R. Joan-Arinyo and A. Soto-Riera. A rule-constructive
geometric constraint solver. Technical Report LSI-95-25-R,
Department LiSI, Universitat Politècnica de Catalunya,
1995. [ bib ] |
| [5] | R. Joan-Arinyo and A. Soto-Riera. A set of rules for a
constructive geometric constraint solver. Technical Report
LSI-95-19-R, Department LiSI, Universitat Politècnica de
Catalunya, 1995. [ bib ] |
| [6] | R. Joan-Arinyo and A. Soto. A rule-constructive geometric
constraint solver. In UNIF'95 Ninth International Workshop
on Unification, pages 29-32, Sitges (Barcelona), April
2-3 1995. Extended abstract. [ bib ] |
| [7] | R. Joan-Arinyo and A. Soto-Riera. Combining constructive
and equational geometric constraint solving techniques.
Technical Report LSI-97-37-R, Department LiSI, Universitat
Politècnica de Catalunya, 1997. [ bib ] |
| [8] | R. Joan-Arinyo and A. Soto. Combining constructive and
equational geometric constraint solving techniques. In
Congreso Español de Informática Gráfica, pages 384 -
393. Eurographics, Barcelona, June 1997. In Spanish. [ bib ] |
| [9] | R. Joan-Arinyo and A. Soto-Riera. A ruler-and-compass
geometric constraint solver. In Product Modeling for
Computer Integrated Design and Manufacture, pages 384 -
393. Chapman and Hall, London, 1997. [ bib ] |
| [10] | R. Joan-Arinyo and A. Soto. A correct rule-based
geometric constraint solver. Computer & Graphics,
21(5):599-609, 1997. [ bib ] |
| [11] | A. Soto-Riera. Geometric Constraint Solving in 2D.
PhD thesis, Dept. LSI, Universitat Politècnica de Catalunya,
Barcelona, Catalonia, 1998. Written in Catalan. [ bib | .ps.gz ] |
| [12] | R. Joan-Arinyo and A. Soto-Riera. Combining constructive
and equational geometric constraint solving techniques.
ACM Transactions on Graphics, 18(1):35-55, January
1999. [ bib ] |
| [13] | R. Joan-Arinyo, N. Mata, and T. Soto-Riera. Basic
operations and functions in constructible geometric problems.
Technical Report LSI-00-23-R, Department LSI, Universitat
Politècnica de Catalunya, 2000. [ bib ] |
| [14] | R. Joan-Arinyo, N. Mata, and A. Soto. A constraint
solving-based approach to analyze 2D geometric problems with
interval parameters. In D.C. Anderson and K. Lee, editors,
Sixth Symposium on Solid Modeling and Applications,
pages 11-17, Ann Arbor, Michigan, USA, June 6-8 2001. ACM
Press. [ bib ] |
| [15] | R. Joan-Arinyo and A. Soto N. Mata. A constraint
solving-based approach to analyze 2D geometric problems with
interval parameters. Journal of Computing &
Information Science in Engineering, 1(4):11-17, December
2001. [ bib ] |
| [16] | R. Joan-Arinyo, A. Soto-Riera, S. Vila-Marta, and J.
Vilaplana. On the domain of constructive geometric constraint
solving techniques. In R. Durikovic and S. Czanner, editors,
Spring Conference on Computer Graphics, pages 49-54,
Budmerice, Slovakia, April 25-28 2001. IEEE Computer
Society. [ bib ] |
| [17] | R. Joan-Arinyo, A. Soto, S. Vila, and J. Vilaplana. A
framework to support multiple views in geometric
constraint-based models. In EFTA 2001 8th IEEE
International Conference on Emerging Technologies and Factory
Auromation, pages 575-579, Antibes-Juan les Pines,
France, October 15-18 2001. IEEE. [ bib ] |
| [18] | R. Joan-Arinyo, A. Soto-Riera, S. Vila-Marta, and J.
Vilaplana. Declarative characterization of a general
architecture for constructive geometric constraint solvers.
In D. Plemenos, editor, The Fifth International Conference
on Computer Graphics and Artificial Intelligence, pages
63-76, Limoges, France, 14-15 May 2002. Université de
Limoges. [ bib ] |
| [19] | R. Joan-Arinyo, M.V. Luzón, and A. Soto. Constructive
geometric constraint solving: A new application of genetic
algorithms. In J.J. Merelo, P. Adamis, H.-G. Beyer, J.-L.
Frenández-Vilacañas, and H.-P. Schwefel, editors, Parallel
Problem Solving from Nature - PPSN VII, LNCS 2439, 7th
Intenational Conference, pages 759-768, Granada, Spain,
September 2002. Springer-Verlag, Berlin. [ bib ] |
| [20] | R. Joan-Arinyo, A. Soto-Riera, S. Vila-Marta, and J.
Vilaplana. Revisiting decomposition analysis of geometric
constraint graphs. In K. Lee and M. Patrikalakis, editors,
Seventh ACM Symposium on Solid Modeling and
Applications, pages 105-115, Saarbrüken, Germany, 2002.
ACM Press. [ bib ] |
| [21] | R. Joan-Arinyo, A. Soto-Riera, S. Vila-Marta, and J.
Vilaplana-Pastó. Transforming an under-constrained geometric
constraint problem into a well-constrained one. Research
LSI-02-69-R, Dept. Llenguatges i Sistemes Informàtics, UPC,
Barcelona, nov 2002. [ bib ] |
| [22] | R. Joan-Arinyo, A. Soto-Riera, S. Vila-Marta, and J.
Vilaplana. Revisiting decomposition analysis of geometric
constraint graphs. Computer-Aided Design, 2003. to
appear. [ bib ] |