Binary Decision Diagram Algorithms to Perform Hard Analysis Operations on Variability Models.

Ruben Heradio, Hector Perez-Morago, David Fernndez-Amors, Roberto Bean, Francisco Javier Cabrerizo, Carlos Cerrada, Enrique Herrera-Viedma

Browse the full SoMeT paper archive.