15 citations · 52 across the 35 of their papers we have counts for
1 paper · 2 filters
Ting Gan, Liyun Dai, Bican Xia +3
An algorithm for generating interpolants for formulas which are conjunctions of quadratic polynomial inequalities (both strict and nonstrict) is proposed. The algorithm is based on…