Estadísticas de Codificación eficiente de modelos de configuración utilizando BDD'S