Binary Decision Diagram Algorithms to Perform Hard Analysis Operations on Variability Models. el 31 de Diciembre del 2016