2 citations · 3 across the 4 of their papers we have counts for
1 paper · 1 filter
Kunhang Lv, Yuhang Dong, Rui Han +3
Quantified formulas with Uninterpreted Functions (UFs) over non-linear real arithmetic pose fundamental challenges for Satisfiability Modulo Theories (SMT) solving. Traditional qua…