Klaus U. Schulz
-
Combining constraint solving
Constraints in computational logics
Unions of non-disjoint theories and combinations of satisfiability procedures
Theoretical Computer Science