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…