Combination of Constraint Solving Techniques: An Algebraic POint of View

Authors:
Franz Baader;Klaus U. Schulz
Affiliations:
-;-
Venue:
RTA '95 Proceedings of the 6th International Conference on Rewriting Techniques and Applications
Year:
1995

Citing 0
Cited 4

Combining constraint solving

Constraints in computational logics
Combination of constraint systems II: rational amalgamation

Theoretical Computer Science
Unions of non-disjoint theories and combinations of satisfiability procedures

Theoretical Computer Science
Combining Decision Procedures for Positive Theories Sharing Constructors

RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract