Max-résolution et apprentissage pour la résolution du problème de satisfiabilité maximum

Autor: Abramé, André

Cette thèse porte sur la résolution du problème d'optimisation Maximum Satisfiability (Max-SAT). Nous y étudions en particulier les mécanismes liés à la détection et à la transformation des sous-ensembles inconsistants par la règle de la ma

Externí odkaz: http://www.theses.fr/2015AIXM4330/document

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

Autor: Abramé, André, Habet, Djamal

Publikováno v: Actes des Treizièmes Journées Francophones de Programmation par Contraintes (JFPC 2017))
Actes des Treizièmes Journées Francophones de Programmation par Contraintes (JFPC 2017)), Jun 2017, Montreuil-sur-Mer, France

International audience; 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 so

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2f62666875baf281e52cf797655b9373
https://hal-amu.archives-ouvertes.fr/hal-01786548/document

Efficient Application of Max-SAT Resolution on Inconsistent Subsets.

Autor: Abramé, André, Habet, Djamal

Publikováno v: Principles & Practice of Constraint Programming: 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings; 2014, p92-107, 16p