Login / Signup
Interpolation synthesis for quadratic polynomial inequalities and combination with \textit{EUF}.
Ting Gan
Liyun Dai
Bican Xia
Naijun Zhan
Deepak Kapur
Mingshuai Chen
Published in:
CoRR (2016)
Keyphrases
</>
sufficient conditions
computational complexity
lower bound
image interpolation
real time
machine learning
program synthesis
partial derivatives
piecewise polynomial
data sets
combining multiple
cubic spline interpolation