Partitionnement d'Hypergraphes pour la Compilation de Formules Pseudo-Booléennes
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Communication Dans Un Congrès
Année : 2021
Romain Wallon : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03295307
Soumis le : mercredi 21 juillet 2021-21:46:56
Dernière modification le : vendredi 2 août 2024-03:12:40
Archivage à long terme le : vendredi 22 octobre 2021-18:54:04
Dates et versions
Identifiants
- HAL Id : hal-03295307 , version 1
Citer
Romain Wallon. Partitionnement d'Hypergraphes pour la Compilation de Formules Pseudo-Booléennes. 22e Conférence ROADEF de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'21), Apr 2021, Mulhouse (en ligne), France. ⟨hal-03295307⟩
65
Consultations
69
Téléchargements