Christian Bessière, Remi Coletta, Frédéric Koriche, B. Osullivan. A SAT-Based Version Space Algorithm for Acquiring Constraint Satisfaction Problems.
ECML'05: 16th European Conference on Machine Learning, Oct 2005, Porto (Portugal), pp.23-34.
⟨lirmm-00106044⟩