Skip to Main content Skip to Navigation
Conference papers

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

Christian Bessière 1 Remi Coletta 2 Frédéric Koriche 1 B. Osullivan 
1 COCONUT - Agents, Apprentissage, Contraintes
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
2 LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Document type :
Conference papers
Complete list of metadata
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00106044
Contributor : Christine Carvalho De Matos Connect in order to contact the contributor
Submitted on : Friday, October 13, 2006 - 10:22:59 AM
Last modification on : Friday, August 5, 2022 - 3:02:57 PM

Identifiers

  • HAL Id : lirmm-00106044, version 1

Collections

CNRS | COCONUT | ARITH | LIRMM | MIPS | UNIV-MONTPELLIER

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

67