Skip to Main content Skip to Navigation
Conference papers

Apprentissage de clauses nobetters dans les solveurs séparation et évaluation pour Max-SAT

Résumé : Nous introduisons une nouvelle méthode d'apprentissage de clauses dites nobetters pour les solveurs séparation etévaluationetévaluation pour Max-SAT. Elle s'inspire de l'apprentissage de clauses nogoods utilisé par les solveurs 5 SAT basés sur l'analyse de conflits (CDCL). Elle a pour objectif de permettre une meilleure résolution des instances industrielles par une meilleure prise en compte de leurs structures.
Document type :
Conference papers
Complete list of metadatas

https://hal-amu.archives-ouvertes.fr/hal-01786548
Contributor : Djamal Habet <>
Submitted on : Monday, May 7, 2018 - 10:52:53 AM
Last modification on : Monday, March 30, 2020 - 8:42:25 AM
Long-term archiving on: : Tuesday, September 25, 2018 - 12:49:14 AM

File

JFPC-2017-Abrame-Habet.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : hal-01786548, version 1

Citation

André Abramé, Djamal Habet. Apprentissage de clauses nobetters dans les solveurs séparation et évaluation pour Max-SAT. Actes des Treizièmes Journées Francophones de Programmation par Contraintes (JFPC 2017)), Jun 2017, Montreuil-sur-Mer, France. ⟨hal-01786548⟩

Share

Metrics

Record views

122

Files downloads

31