A SAT-Based Version Space Algorithm for Acquiring Constraint Satisfaction Problems.

Christian Bessière Remi Coletta Frédéric Koriche Barry O'Sullivan A SAT-Based Version Space Algorithm for Acquiring Constraint Satisfaction Problems. 23-34 2005 conf/ecml/2005 ECML http://dx.doi.org/10.1007/11564096_8 db/conf/ecml/ecml2005.html#BessiereCKO05