 |
Laboratoire d'informatique fondamentale de Marseille UMR 6166 - CNRS, Université de la Méditerranée, Université de Provence |
 |
|
Laboratoire d'informatique fondamentale de Marseille UMR 6166 - CNRS, Université de la Méditerranée, Université de Provence |
|
| HAL : hal-00421751, version 1 |
| DOI : 10.1016/j.orl.2005.07.001 |
| Fiche détaillée |  Récupérer au format |
 |
| Operations Research Letters 34, 4 (2005) 387-393 |
|
|
|
|
| Exact MAX-2SAT solution via lift-and-project closure |
|
|
| Pierre Bonami 1Michel Minoux 2 |
|
|
| (07/09/2005) |
|
|
|
| We present a new approach for exact solution of MAX-2SAT problems based on a strong reformulation deduced from an optimal continuous solution over the elementary closure of lift-and-project cuts. Computational results show that this formulation leads to a reduced number of nodes in the branch-and-bound tree and short computing times. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'informatique Fondamentale de Marseille (LIF) |
|
|
|
CNRS : UMR6166 – Université de la Méditerranée - Aix-Marseille II – Université de Provence - Aix-Marseille I |
|
|
| 2 : | Laboratoire d'Informatique de Paris 6 (LIP6) |
|
|
|
CNRS : UMR7606 – Université Pierre et Marie Curie [UPMC] - Paris VI |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Recherche opérationnelle Mathématiques/Optimisation et contrôle |
|
|
| Mixed-integer-programming – MAX-2SAT – Branch-and-cut – Lift-and-project |
|
| hal-00421751, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00421751 | |
| oai:hal.archives-ouvertes.fr:hal-00421751 | |
| Contributeur : Pierre Bonami | |
| Soumis le : Samedi 3 Octobre 2009, 11:43:18 | |
| Dernière modification le : Samedi 3 Octobre 2009, 11:43:18 | |
