Combining satisfiability procedures for automated deduction and constraint-based reasoning

Authors:
Mehdi T. Harandi;Cesare Tinelli
Affiliations:
-;-
Venue:
Combining satisfiability procedures for automated deduction and constraint-based reasoning
Year:
1999

Citing 0
Cited 2

Combining constraint solving

Constraints in computational logics
Unions of non-disjoint theories and combinations of satisfiability procedures

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract