Skip to Main content Skip to Navigation
Conference papers

Clustering sous contraintes utilisant SAT

Résumé : Le clustering a pour objectif de partitionner un ensemble de données (transactions) en groupes (clusters) d'une manière telle que les transactions appartenant à un même cluster soient similaires mais différentes de celles appartenant aux autres clusters. Le clustering sous contraintes a pour objectif de trouver des clusters plus pertinents en spécifiant, sous forme de contraintes, les propriétés requises. Nous avons proposé [16] un langage à base de ontraintes pour l'extraction de motifs combinant plusieurs motifs locaux. Dans cet article, nous nous intéressons à la mise en œuvre en SAT de notre langage de contraintes. Pour cela, nous présentons le codage réalisé et nous montrons comment il tire partie des caractéristiques des solveurs SAT. Les expérimentations effectuées avec MiniSat montrent la faisabilité et l'intérêt de notre approche.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00810470
Contributor : Jean-Philippe Métivier <>
Submitted on : Wednesday, April 10, 2013 - 9:54:54 AM
Last modification on : Tuesday, February 26, 2019 - 6:06:03 PM
Long-term archiving on: : Monday, April 3, 2017 - 3:25:36 AM

File

jfpc2012_submission_14.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00810470, version 1

Citation

Jean-Philippe Metivier, Patrice Boizumault, Bruno Crémilleux, Medhi Khiari, Loudni Samir. Clustering sous contraintes utilisant SAT. Journée francophones de programmation par contraintes, May 2012, Toulouse, France. ⟨hal-00810470⟩

Share

Metrics

Record views

303

Files downloads

147