The Reachability Problem in Constructive Geometric Constraint Solving Based Dynamic Geometry

Author： Hidalgo Marta Joan-Arinyo Robert

ISSN： 0168-7433

Source： Journal of Automated Reasoning, Vol.52, Iss.1, 2014-01, pp. : 99-122

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Symbolic Constraints in Constructive Geometric Constraint Solving

By Hoffmann C.M. Joan-Arinyo R.

Journal of Symbolic Computation, Vol. 23, Iss. 2, 1997-02 ,pp. : 287-299

Academic Press

Access to resources Recommend Favorite

Searching the Solution Space in Constructive Geometric Constraint Solving with Genetic Algorithms

By Luzón M. Soto A. Gálvez J. Joan-Arinyo R.

Applied Intelligence, Vol. 22, Iss. 2, 2005-03 ,pp. : 109-124

Springer Publishing Company

Access to resources Recommend Favorite

USING CASE-BASED TECHNIQUES TO ENHANCE CONSTRAINT SATISFACTION PROBLEM SOLVING

By Huang Ye Miles Roger

Applied Artificial Intelligence, Vol. 10, Iss. 4, 1996-07 ,pp. : 307-328

Taylor & Francis Ltd

Access to resources Recommend Favorite

A unified constructive network model for problem-solving

By Takahashi Y.

Theoretical Computer Science, Vol. 156, Iss. 1, 1996-03 ,pp. : 217-261

Elsevier

Access to resources Recommend Favorite

Constraint Solving in Uncertain and Dynamic Environments: A Survey

By Verfaillie Gérard Jussien Narendra

Constraints, Vol. 10, Iss. 3, 2005-07 ,pp. : 253-281

Springer Publishing Company

Access to resources Recommend Favorite