Concepedia

Theory Solvers

Theory Solvers is a computational method within constraint solving that integrates domain-specific reasoning to decide the satisfiability of constraints expressed in a particular background theory, thereby distinguishing it from general-purpose solvers by leveraging specialized logical semantics and decision procedures.

90

Publications

9.2K

Citations

191

Authors

117

Institutions

Publications per year

2017–2026

18

Variants

Satisfiability Modulo Theories SolversSmt Solvers

Parents

Publications

90

Strips: A new approach to the application of theorem proving to problem solving

Richard Fikes, Nils J. Nilsson · Artificial Intelligence · 1971 · 4.1K citations

, , +15

Solving SAT and SAT Modulo Theories

Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli · Journal of the ACM · 2006 · 777 citations

, , +16

The Sat4j library, release 2.2

Daniel Le Berre, Anne Parrain · Journal on Satisfiability Boolean Modeling and Computation · 2010 · 429 citations · Full text

, , +12

REDLOG

Andreas Dolzmann, Thomas Sturm · ACM SIGSAM Bulletin · 1997 · 360 citations

, , +16

Empirical explorations of the logic theory machine

Allen Newell, James Shaw, Herbert A. Simon · 1957 · 233 citations

, , +17

1–5 of 90

Authors

191

  1. CT
    Cesare Tinelli

    University of Iowa, United States

    5 publications · 848 citations

    5

    h-index

  2. AT
    Armando Tacchella

    University of Genoa, Italy

    4 publications · 84 citations

    4

    h-index

  3. AB
    Armin Biere

    Johannes Kepler University of Linz, Austria

    4 publications · 58 citations

    4

    h-index

  4. CB
    Clark Barrett

    Stanford University, United States

    4 publications · 71 citations

    4

    h-index

  5. LP
    Luca Pulina

    University of Genoa, Italy

    4 publications · 98 citations

    4

    h-index

1–5 of 191

Institutions

117

  1. Johannes Kepler University of Linz

    Linz, Austria

    4 h-index

    10 publications

    158 citations

  2. University of Iowa

    Iowa City, United States

    4 h-index

    5 publications

    832 citations

  3. University of Genoa

    Genoa, Italy

    4 h-index

    11 publications

    233 citations

  4. Griffith University

    Brisbane, Australia

    3 h-index

    5 publications

    231 citations

  5. New York University

    New York, United States

    3 h-index

    5 publications

    74 citations

  6. Centre National de la Recherche Scientifique

    Paris, France

    3 h-index

    6 publications

    946 citations

  7. Data61

    Sydney, Australia

    3 h-index

    4 publications

    196 citations

  8. University of Cyprus

    Nicosia, Cyprus

    3 h-index

    5 publications

    104 citations

1–8 of 117

Venues

  1. 4

    h-index

  2. EPiC series in computing

    3 publications · 92 citations

    3

    h-index

  3. National Conference on Artificial Intelligence

    Conference · 2 publications · 45 citations

    2

    h-index

  4. Fundamenta Informaticae

    2 publications · 33 citations

    2

    h-index

  5. arXiv (Cornell University)

    Repository · 2 publications · 51 citations

    2

    h-index

1–5