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.
Origine : Fichiers éditeurs autorisés sur une archive ouverte