15 citations · 25 across the 8 of their papers we have counts for
1 paper · 1 filter
Yide Du, Zhenbang Chen, Weijiang Hong +1
The theory of Equality with Uninterpreted Functions (EUF) is fundamental to constraint solving and program verification. Uninterpreted functions abstract concrete implementations,…