Interpolants in Nonlinear Theories Over the Reals.

Sicun Gao Damien Zufferey

Published in: TACAS (2016)

Keyphrases

complementarity problems
defeasible logic
constraint databases
databases
neural network
multiscale
expert systems
theoretical framework
piecewise linear
cognitive psychology
formal models
highly nonlinear
nonlinear equations