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

Christian Bessiere, Remi Coletta, Frdric Koriche, Barry O'Sullivan

Browse the full AAAI paper archive.