Concepedia

Theory Combination

Theory Combination is a formal method in Satisfiability Modulo Theories that integrates decision procedures for individual theories into a unified framework capable of reasoning about formulas involving multiple disjoint theories.

37

Publications

2.3K

Citations

70

Authors

42

Institutions

Publications per year

2017–2026

4

Parents

Publications

37

Simplification by Cooperating Decision Procedures

Greg Nelson, Derek C. Oppen · ACM Transactions on Programming Languages and Systems · 1979 · 901 citations · Full text

, , +16

Unification in a combination of arbitrary disjoint equational theories

Manfred Schmidt-Schauß · Journal of Symbolic Computation · 1989 · 120 citations

, , +4

Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures

Franz Baader, Klaus U. Schulz · Journal of Symbolic Computation · 1996 · 119 citations

, , +6

Complexity, convexity and combinations of theories

Derek C. Oppen · Theoretical Computer Science · 1980 · 111 citations

, , +8

Decision Support System for Estimating Reference Evapotranspiration

Biju George, B. R. S. Reddy, N. S. Raghuwanshi et al. · Journal of Irrigation and Drainage Engineering · 2002 · 107 citations

, , +14

1–5 of 37

Authors

70

  1. RB
    Roberto Bruttomesso

    Università della Svizzera italiana, Switzerland

    4 publications · 110 citations

    4

    h-index

  2. FB
    Franz Baader

    Technische Universität Dresden, Germany

    3 publications · 154 citations

    3

    h-index

  3. AC
    Alessandro Cimatti

    Fondazione Bruno Kessler, Italy

    3 publications · 147 citations

    3

    h-index

  4. CT
    Cesare Tinelli

    University of Iowa, United States

    3 publications · 173 citations

    3

    h-index

  5. RS
    Roberto Sebastiani

    University of Trento, Italy

    3 publications · 147 citations

    3

    h-index

1–5 of 70

Institutions

42

  1. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    5 h-index

    7 publications

    196 citations

  2. Centre Inria de l'Université de Lorraine

    Villers-lès-Nancy, France

    4 h-index

    4 publications

    156 citations

  3. Laboratoire Lorrain de Recherche en Informatique et ses Applications

    Nancy, France

    4 h-index

    5 publications

    174 citations

  4. University of Iowa

    Iowa City, United States

    3 h-index

    3 publications

    173 citations

  5. Università della Svizzera italiana

    Lugano, Switzerland

    3 h-index

    9 publications

    121 citations

  6. University of Trento

    Trento, Italy

    3 h-index

    5 publications

    230 citations

  7. University of Verona

    Verona, Italy

    3 h-index

    4 publications

    70 citations

  8. SRI International

    Menlo Park, United States

    3 h-index

    5 publications

    198 citations

1–8 of 42

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 5 publications · 169 citations

    5

    h-index

  2. Journal of Symbolic Computation

    4 publications · 293 citations

    4

    h-index

  3. Journal of Automated Reasoning

    4 publications · 109 citations

    4

    h-index

  4. Theoretical Computer Science

    2 publications · 178 citations

    2

    h-index

  5. Information and Computation

    2 publications · 79 citations

    2

    h-index

1–5