Craig Interpolation in the Presence of Non-linear Constraints.

Stefan Kupferschmid Bernd Becker

Published in: FORMATS (2011)

Keyphrases

constraint satisfaction
global constraints
resource constraints
real time
linear constraints
database
data sets
learning algorithm
computer vision
e learning
database systems
probabilistic model
semi supervised