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

From LRDE

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.