Utilisation de Scatter Search pour trouver un meilleur ordre des variables dans des BDDs

From LRDE

Revision as of 19:58, 27 June 2019 by Bot (talk | contribs) (Created page with "{{CSIReportFR | authors = Samuel Corno | titre = Utilisation de Scatter Search pour trouver un meilleur ordre des variables dans des BDDs | year = 2019 | resume = Un Diagramme...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Résumé

Un Diagramme de Décision Binaire est une structure de donnée utilisée pour représenter des fonction booléennes. L'ordre des variable à la construction du BDD impacte fortement la taille de celui-ci. Nous résumons notre implémentation de l'algorithme Scatter Search pour optimiser l'ordre des variables.