| Title: |
Résolution du problème SALB3PM grâce à une approche SAT |
| Authors: |
Py, Matthieu; Tuyaba, Arnauld |
| Contributors: |
Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS); Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne); Université Clermont Auvergne (UCA)-Université Clermont Auvergne (UCA) |
| Source: |
24ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision- ROADEF 2023; https://hal.science/hal-04318082; 24ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision- ROADEF 2023, Feb 2023, Rennes, France |
| Publisher Information: |
CCSD |
| Publication Year: |
2023 |
| Collection: |
HAL Clermont Auvergne (Université Blaise Pascal Clermont-Ferrand / Université d'Auvergne) |
| Subject Terms: |
SALB3PM programmation par contraintes problème SAT; SALB3PM; programmation par contraintes; problème SAT; [INFO.INFO-RO]Computer Science [cs]/Operations Research [math.OC]; [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI] |
| Subject Geographic: |
Rennes; France |
| Description: |
International audience |
| Document Type: |
conference object |
| Language: |
French |
| Availability: |
https://hal.science/hal-04318082; https://hal.science/hal-04318082v1/document; https://hal.science/hal-04318082v1/file/ROADEF_2023___SALB3PM_par_SAT.pdf |
| Rights: |
info:eu-repo/semantics/OpenAccess |
| Accession Number: |
edsbas.B19243EC |
| Database: |
BASE |