Une étude empirique des heuristiques de branchement pour le problème MAX-SAT - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Une étude empirique des heuristiques de branchement pour le problème MAX-SAT

Résumé

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.
Fichier principal
Vignette du fichier
54.pdf (182.77 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00085817 , version 1 (14-07-2006)

Identifiants

  • HAL Id : inria-00085817 , version 1

Citer

Frédéric Lardeux, Frédéric Saubion, Jin-Kao Hao. Une étude empirique des heuristiques de branchement pour le problème MAX-SAT. Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06). ⟨inria-00085817⟩
123 Consultations
335 Téléchargements

Partager

Gmail Facebook X LinkedIn More