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 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

CNRS | COCONUT | 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

Share

Metrics

Record views

106