Skip to Main content Skip to Navigation
Conference papers

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

Document type :
Conference papers
Complete list of metadatas

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00106044
Contributor : Christine Carvalho de Matos <>
Submitted on : Friday, October 13, 2006 - 10:22:59 AM
Last modification on : Thursday, May 14, 2020 - 6:58:06 PM

Identifiers

  • HAL Id : lirmm-00106044, version 1

Collections

Citation

Christian Bessière, Remi Coletta, Frédéric Koriche, B. Osullivan. A SAT-Based Version Space Algorithm for Acquiring Constraint Satisfaction Problems. ECML'05: 16th European Conference on Machine Learning, Oct 2005, Porto (Portugal), pp.23-34. ⟨lirmm-00106044⟩

Share

Metrics

Record views

106