Nonlinear Craig Interpolant Generation.

Ting Gan Bican Xia Bai Xue Naijun Zhan

Published in: CoRR (2019)

Keyphrases

generation process
genetic algorithm
natural language
multiresolution
piecewise linear
neural network
three dimensional
support vector
nonlinear equations
complementarity problems