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.
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
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