Acquiring Constraint Networks Using a SAT-based Version Space Algorithm. In Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA. pages 1565-1568, AAAI Press, 2006.
@inproceedings{BessiereCKO06, title = {Acquiring Constraint Networks Using a SAT-based Version Space Algorithm}, year = {2006}, tags = {rule-based, constraints}, researchr = {https://researchr.org/publication/BessiereCKO06}, cites = {0}, citedby = {0}, pages = {1565-1568}, booktitle = {Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA}, publisher = {AAAI Press}, }