A SAT-Based Version Space Algorithm for Acquiring Constraint Satisfaction Problems (2005)

by C Bessière, R Coletta, F Koriche, B O’Sullivan
Venue:In Gama et