Boolean Satisfiability Modulo Theories

Boolean Satisfiability Modulo Theories is a formal decision problem that extends the Boolean satisfiability problem by incorporating background theories from specific domains, enabling the verification of logical formulas over Boolean variables combined with domain-specific constraints expressed in decidable first-order theories.

248

Publications

10.9K

Citations

562

Authors

249

Institutions

Publications per year

2017–2026

102

Parents

Constraint Programming

Publications

248

Solving SAT and SAT Modulo Theories

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

Computing, Computer Science, Algorithms +16

Satisfiability modulo theories

Leonardo de Moura, Nikolaj Bjørner · Communications of the ACM · 2011 · 629 citations

Computing, Computer Science, Algorithms +9

The YICES SMT Solver

Bruno Dutertre, Leonardo de Moura · 2006 · 483 citations

Computing, Computer Science, Algorithms +15

Oracle-guided component-based program synthesis

Susmit Jha, Sumit Gulwani, Sanjit A. Seshia et al. · 2010 · 479 citations

Computing, Computer Science, Algorithms +12

Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs

Jifeng Xuan, Matías Martínez, Favio DeMarco et al. · IEEE Transactions on Software Engineering · 2016 · 428 citations · Full text

Computing, Computer Engineering, Computer Science +14

1–5 of 248

Authors

562

SA
Sanjit A. Seshia
University of California, Berkeley, United States
10 publications · 784 citations
10
h-index
AC
Alessandro Cimatti
Fondazione Bruno Kessler, Italy
10 publications · 306 citations
10
h-index
YS
Yasser Shoukry
University of California, Los Angeles, United States
9 publications · 424 citations
9
h-index
PT
Paulo Tabuada
University of California, Los Angeles, United States
9 publications · 424 citations
9
h-index
MB
Miquel Bofill
Universitat de Girona, Spain
9 publications · 194 citations
9
h-index

1–5 of 562

Institutions

249

1–8 of 249

Venues

Proceedings of the AAAI Conference on Artificial Intelligence
Conference · 10 publications · 246 citations
10
h-index
arXiv (Cornell University)
Repository · 9 publications · 483 citations
9
h-index
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
8 publications · 530 citations
8
h-index
Electronic Notes in Theoretical Computer Science
ENTCS · 5 publications · 102 citations
5
h-index
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
3 publications · 89 citations
3
h-index

1–5