Equality with Uninterpreted Functions is a theory in Satisfiability Modulo Theories that formalizes reasoning about equality constraints under uninterpreted function symbols, where the functions have no predefined semantics beyond their input-output behavior and equality is interpreted as congruence.
20
Publications
2.1K
Citations
31
Authors
16
Institutions
Publications per year
2017–2026
2
Publications
20
1–5 of 20
Authors
31
- MN
6
h-index
- RE
5
h-index
- JR
2
h-index
- DL
2
h-index
- RB
2
h-index
1–5 of 31
Institutions
16
Carnegie Mellon University
Pittsburgh, United States
5 h-index
7 publications
605 citations
Stanford University
Stanford, United States
3 h-index
6 publications
2K citations
Lawrence Berkeley National Laboratory
Berkeley, United States
2 h-index
2 publications
112 citations
Fondazione Bruno Kessler
Trento, Italy
1 h-index
3 publications
33 citations
University of Lisbon
Lisbon, Portugal
1 h-index
2 publications
62 citations
Synopsys (United States)
Mountain View, United States
1 h-index
1 publications
38 citations
University of Verona
Verona, Italy
1 h-index
2 publications
20 citations
IBM (United States)
Armonk, United States
1 h-index
1 publications
151 citations
1–8 of 16
Venues
- Research Showcase @ Carnegie Mellon University (Carnegie Mellon University)
Repository · 2 publications · 28 citations
2
h-index
- Journal of Symbolic Logic
1 publications · 55 citations
1
h-index
- ACM Transactions on Computational Logic
TOCL · 1 publications · 151 citations
1
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 1 publications · 10 citations
1
h-index
- International Journal of Embedded Systems
IJES · 1 publications · 30 citations
1
h-index
1–5