• Decomposition of geometric constraint graphs based on computing fundamental circuits 

    Joan Arinyo, Robert; Soto Riera, Antoni; Tarres Puertas, Marta Isabel; Vila Marta, Sebastià (2007-09)
    Report de recerca
    Accés obert
    The graph-based geometric constraint solving technique works in two steps. First the geometric problem is translated into a graph whose vertices represent de set of geometric elements and whose edges are the constraints. ...
  • Decomposition of geometric constraint graphs based on computing fundamental circuits. Correctness and complexity 

    Joan Arinyo, Robert; Tarres Puertas, Marta Isabel; Vila Marta, Sebastià (2014-07-01)
    Article
    Accés restringit per política de l'editorial
    In geometric constraint solving, Decomposition Recombination solvers (DR-solvers) refer to a general solving approach where the problem is divided into a set of sub-problems, each sub-problem is recursively divided until ...
  • Direct tree decomposition of geometric constraint graphs 

    Tarres Puertas, Marta Isabel (Universitat Politècnica de Catalunya, 2014-12-18)
    Tesi
    Accés obert
    The evolution of constraint based geometric models is tightly tied to parametric and feature-based Computer-Aided Design (CAD) systems. Since the introduction of parametric design by Pro/Engineer in the 1980's, most major ...
  • El llenguatge Java 

    Tarres Puertas, Marta Isabel (Universitat Oberta de Catalunya, 2008-05-05)
    Llibre
    Accés restringit per política de l'editorial
  • Geometric constraint graphs decomposition based on computing graph circuits 

    Joan Arinyo, Robert; Tarres Puertas, Marta Isabel; Vila Marta, Sebastià (Copicentro, 2010-01-01)
    Capítol de llibre
    Accés obert
    Geometric constraint solving is a growing field which plays a paramount role in industrial applications and that is deeply rooted in automated deduction in geometry. In this work we report on an algorithm to solve ...
  • Geometric constraint graphs decomposition based on computing graph circuits 

    Joan Arinyo, Robert; Tarres Puertas, Marta Isabel; Vila Marta, Sebastià (East China Normal University, 2008)
    Text en actes de congrés
    Accés obert
    Geometric constraint solving is a growing field which plays a paramount role in industrial applications and that is deeply rooted in automated deduction in geometry. In this work we report on an algorithm to solve ...
  • Problemes de modelització amb UML. Programació orientada a objectes 

    Brínquez Jiménez, Jordi; Dodero Beardo, Juan Manuel; Tarres Puertas, Marta Isabel (Universitat Oberta de Catalunya, 2008-05-05)
    Llibre
    Accés restringit per política de l'editorial
  • Treedecomposition of geometric constraint graphs based on computing graph circuits 

    Tarres Puertas, Marta Isabel; Vila Marta, Sebastià; Joan Arinyo, Robert (ACM Press, NY, 2009-10-01)
    Text en actes de congrés
    Accés obert
    The graph-based geometric constraint solving technique works in two steps. First the geometric problem is translated into a graph whose vertices represent the set of geometric elements and whose edges are the constraints. ...