Application of SAT to the Simple Assembly Line Balancing Problem with Power Peak Minimization
Résumé
In this article, we are interested in the SALB3PM problem (Simple Assembly Line Balancing Problem with Power Peak Minimization), a challenging optimization problem in manufacturing environments. We propose to solve this problem by decomposing it as a sequence of (Satisfiability Problem) instances, each addressed by a specialized SAT oracle. Through a series of experiments conducted on state-of-the-art SALB3PM instances, we empirically validate the efficacy and relevance of our proposed methodology.
Fichier principal
2024 POS Application of SAT to the Simple Assembly Line Balancing Problem with Power Peak Minimization.pdf (743.22 Ko)
Télécharger le fichier
| Origine | Fichiers éditeurs autorisés sur une archive ouverte |
|---|---|
| Licence |
