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

André Abramé , Djamal Habet (1, 2)

1 LSIS - Laboratoire des Sciences de l'Information et des Systèmes
2 COALA - COntraintes, ALgorithmes et Applications

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.

Mots clés: Séparation et évaluation; Max-résolution; Max-SAT; Apprentissage de clauses

Domaines: Intelligence artificielle [cs.AI]; Informatique [cs]

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⟩