Apprentissage de clauses nobetters dans les solveurs séparation et évaluation pour Max-SAT - Aix-Marseille Université Access content directly
Conference Papers Year : 2017

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

Abstract

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.
Fichier principal
Vignette du fichier
JFPC-2017-Abrame-Habet.pdf (201.35 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive

Dates and versions

hal-01786548 , version 1 (07-05-2018)

Identifiers

  • HAL Id : hal-01786548 , version 1

Cite

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⟩
108 View
49 Download

Share

Gmail Facebook X LinkedIn More