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

Christian Bessiere et al. (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics