Login / Signup
Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets.
Hao Wu
Jie Wang
Bican Xia
Xiakun Li
Naijun Zhan
Ting Gan
Published in:
CoRR (2024)
Keyphrases
</>
application domains
face recognition
neural network
information retrieval
set theoretic
information systems
image processing
image segmentation
similarity measure
evolutionary algorithm
generation process
complex domains
highly nonlinear
nonlinear equations