Theory Solving is a formal method within automated reasoning that determines the satisfiability of logical formulas with respect to a background theory by combining decision procedures for specific theories with general logical inference mechanisms.
44
Publications
7.2K
Citations
72
Authors
43
Institutions
Publications per year
2017–2026
5
Publications
44
Solving SAT and SAT Modulo Theories
Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli · Journal of the ACM · 2006 · 777 citations
Programming as theory building
Peter Naur · Microprocessing and Microprogramming · 1985 · 247 citations
Empirical explorations of the logic theory machine
Allen Newell, James Shaw, Herbert A. Simon · 1957 · 233 citations
1–5 of 44
Authors
72
- CD
2
h-index
- AP
2
h-index
- DK
2
h-index
- AN
2
h-index
- JS
2
h-index
1–5 of 72
Institutions
43
Carnegie Institution for Science
Washington, United States
2 h-index
1 publications
233 citations
Université Paris-Sud
Orsay, France
2 h-index
7 publications
108 citations
London School of Economics and Political Science
London, United Kingdom
2 h-index
2 publications
103 citations
Centre Inria de Saclay
Palaiseau, France
2 h-index
7 publications
108 citations
RAND Corporation
Santa Monica, United States
2 h-index
2 publications
466 citations
University of Iowa
Iowa City, United States
2 h-index
1 publications
777 citations
Laboratoire de Recherche en Informatique
Gif-sur-Yvette, France
2 h-index
7 publications
108 citations
SRI International
Menlo Park, United States
2 h-index
3 publications
8.2K citations
1–8 of 43
Venues
- Journal of Automated Reasoning
2 publications · 54 citations
2
h-index
- DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
Repository · 2 publications · 360 citations
2
h-index
- Artificial Intelligence
2 publications · 4.1K citations
2
h-index
- International Joint Conference on Artificial Intelligence
Conference · 2 publications · 44 citations
2
h-index
- Information Systems Journal
ISJ · 1 publications · 33 citations
1
h-index
1–5