Completion of Rewrite Systems with Membership Constraints Part II: Constraint Solving

By Comon H.  

Journal of Symbolic Computation, Vol. 25, Iss. 4, 1998-04 ,pp. : 421-453 (33)

Academic Press

Access to resources Recommend Favorite

Combination of constraint solvers for free and quasi-free structures

By Baader F.   Schulz K.U.  

Theoretical Computer Science, Vol. 192, Iss. 1, 1998-02 ,pp. : 107-161 (55)

Elsevier

Access to resources Recommend Favorite

Detecting Anomalies in Constraint-based Systems

By Flannery L.M.   Gonzalez A.J.  

Engineering Applications of Artificial Intelligence, Vol. 10, Iss. 3, 1997-06 ,pp. : 257-268 (12)

Elsevier

Access to resources Recommend Favorite

Acquiring Both Constraint and Solution Preferences in Interactive Constraint Systems

By Rossi Francesca   Sperduti Allesandro  

Constraints, Vol. 9, Iss. 4, 2004-10 ,pp. : 311-332 (22)

Springer Publishing Company

Access to resources Recommend Favorite

Decomposition Plans for Geometric Constraint Problems, Part II: New Algorithms

By Hoffman C.M.   Lomonosov A.   Sitharam M.  

Journal of Symbolic Computation, Vol. 31, Iss. 4, 2001-04 ,pp. : 409-427 (19)

Academic Press

Access to resources Recommend Favorite