| Page précédente | LERIA | Faculté des Sciences | Université d'Angers | |
L'utilisation des heuristique classiques de branchement des algorithmes DPL est fréquente dans les algorithmes de B&B pour le problème MAX-SAT. L'étude que j'ai réalisée montre que leurs comportements ne sont pas si évidents à prévoir dans le cadre du problème MAX-SAT. Les tests réalisés jusqu'alors étaient des cas particuliers où la solution optimale était supposée connue à l'avance. En la supposant inconnue, les comportements des heuristiques sont différents. Les informations récoltées au cours des expériences devraient faciliter la conception de nouvelles heuristiques spécifiquement dédiées au problème MAX-SAT.