Acquiring Constraint Networks Using a SAT-based Version Space Algorithm.

Christian Bessiere Remi Coletta Frédéric Koriche Barry O'Sullivan

Published in: AAAI (2006)

Keyphrases

version space
constraint networks
computational complexity
dynamic programming
learning algorithm
active learning
objective function
training instances
tree decomposition
worst case
simulated annealing
theoretical analysis
machine learning
upper bound
hypothesis space