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

Bessiere et al. "A SAT-Based Version Space Algorithm for Acquiring Constraint Satisfaction Problems." European Conference on Machine Learning, 2005. doi:10.1007/11564096_8

[Bessiere et al. "A SAT-Based Version Space Algorithm for Acquiring Constraint Satisfaction Problems." European Conference on Machine Learning, 2005.](https://mlanthology.org/ecmlpkdd/2005/bessiere2005ecml-satbased/) doi:10.1007/11564096_8

@inproceedings{bessiere2005ecml-satbased,
  title     = {{A SAT-Based Version Space Algorithm for Acquiring Constraint Satisfaction Problems}},
  author    = {Bessiere, Christian and Coletta, Remi and Koriche, Frédéric and O'Sullivan, Barry},
  booktitle = {European Conference on Machine Learning},
  year      = {2005},
  pages     = {23-34},
  doi       = {10.1007/11564096_8},
  url       = {https://mlanthology.org/ecmlpkdd/2005/bessiere2005ecml-satbased/}
}