La fonctionnalité de recherche est en construction.
La fonctionnalité de recherche est en construction.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Solving Open Job-Shop Scheduling Problems by SAT Encoding Résoudre les problèmes de planification des ateliers ouverts grâce au codage SAT

Miyuki KOSHIMURA, Hidetomo NABESHIMA, Hiroshi FUJITA, Ryuzo HASEGAWA

  • Vues en texte intégral

    0

  • Citer

Résumé:

Cet article tente de résoudre les problèmes ouverts de planification des ateliers (JSSP) en les traduisant en problèmes de test de satisfaction booléenne (SAT). La méthode de codage est essentiellement la même que celle proposée par Crawford et Baker. Les problèmes ouverts sont ABZ8, ABZ9, YN1, YN2, YN3 et YN4. Nous avons prouvé que les bornes supérieures les plus connues 678 de ABZ9 et 884 de YN1 sont effectivement optimales. Nous avons également amélioré la limite supérieure de YN2 et les limites inférieures de ABZ8, YN2, YN3 et YN4.

Publication
IEICE TRANSACTIONS on Information Vol.E93-D No.8 pp.2316-2318
Date de publication
2010/08/01
Publicisé
ISSN en ligne
1745-1361
DOI
10.1587/transinf.E93.D.2316
Type de manuscrit
LETTER
Catégories
Intelligence artificielle, exploration de données

Auteurs

Mots-clés

Table des matières