 |
Partitionnement d'Hypergraphes pour la Compilation de Formules Pseudo-Booléennes
1 : LIX (Laboratoire d'Informatique de l'X), École Polytechnique, Chaire X-Uber
Centre National de la Recherche Scientifique : UMR7161, Ecole Polytechnique
| Type : | : | oral |
| Thématiques | : | Session "Partitionnement des Graphes" |
| Mots-Clés | : | contraintes pseudo booléennes ; compilation de connaissances ; partitionnement d'hypergraphes |
| PDF version | : |  PDF version |
