Une étude empirique des heuristiques de branchement pour le problème MAX-SAT
Abstract
MOMS et Jeroslow-Wang sont deux des heuristiques les plus utilisées pour ordonner les variables dans les algorithmes traitant les problèmes SAT etMAXSAT. Toutefois, leurs comportements ne sont pas très bien compris dans le contexte du problème MAX-SAT. Dans ce papier, nous nous sommes intéressés à ces deux heuristiques ainsi qu'à l'heuristiqueDynamic- weighting pour la résolution du problème MAX-SAT. Nous montrons empiriquement que leurs comportements dans un algorithme de type Branch and Bound dépend de la borne supérieure initiale ainsi que de mécanismes spécifiques comme la propagation unitaire ou encore l'estimation de la borne inférieure. À partir de ces résultats, nous avons proposé une combinaison intuitive des heuristiques MOMS and Jeroslow-Wang qui fournit des performances intéressantes.
Loading...