Combination of constraint solving techniques: An algebraic point of view-Reference-Cited by-同舟云学术

Combination of constraint solving techniques: An algebraic point of view

Published:1995 Issue: Volume: Page:352-366
ISSN:0302-9743
Container-title:Rewriting Techniques and Applications
language:
Short-container-title:

Author:

Baader Franz,Schulz Klaus U.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-59200-8_69.pdf

Reference21 articles.

1. A. Boudet. Combining unification algorithms. J. Symbolic Computation, 16:597–626, 1993.

2. F. Baader and K.U. Schulz. Unification in the union of disjoint equational theories: Combining decision procedures. In Proceedings of CADE-11, LNCS 607, 1992.

3. F. Baader and K.U. Schulz. Unification in the union of disjoint equational theories: Combining decision procedures, 1993. Extended version, submitted for publication.

4. F. Baader and K.U. Schulz. Combination techniques and decision problems for disunification. In Proceedings of RTA-93, LNCS 690, 1993.

5. F. Baader and K.U. Schulz. Combination of Constraint Solving Techniques: An Algebraic Point of View. Research Report CIS-Rep-94-75, CIS, University Munich, 1994. This report is available via anonymous ftp from “cantor.informatik.rwth-aachen.de” in the directory “pub/papers.”

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Unions of non-disjoint theories and combinations of satisfiability procedures;Theoretical Computer Science;2003-01

2. Combination of constraint systems II: Rational amalgamation;Theoretical Computer Science;2001-09

3. Combining Constraint Solving;Constraints in Computational Logics;2001

4. Combination of constraint solvers for free and quasi-free structures;Theoretical Computer Science;1998-02

5. ELAN;Electronic Notes in Theoretical Computer Science;1996