Partitionnement d'Hypergraphes pour la Compilation de Formules Pseudo-Booléennes - Archive ouverte HAL
Communication Dans Un Congrès Année : 2021

Partitionnement d'Hypergraphes pour la Compilation de Formules Pseudo-Booléennes

Romain Wallon
Fichier principal
Vignette du fichier
resume.pdf (158.31 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03295307 , version 1 (21-07-2021)

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⟩
55 Consultations
65 Téléchargements

Partager

More