Validated Constraint Solving—Practicalities, Pitfalls, and New Developments

ISSN： 1385-3139

Source： Reliable Computing, Vol.11, Iss.5, 2005-10, pp. : 383-391

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

Constraint Solving for Proof Planning

By Zimmer Jürgen Melis Erica

Journal of Automated Reasoning, Vol. 33, Iss. 1, 2004-07 ,pp. : 51-88

Springer Publishing Company

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

Solving subgraph isomorphism problems with constraint programming

By Zampelli Stéphane

Constraints, Vol. 15, Iss. 3, 2010-07 ,pp. : 327-353

Springer Publishing Company

Access to resources Recommend Favorite

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