Binary Decision Diagram Algorithms to Perform Hard Analysis Operations on Variability Models
- Ruben Heradio
- Hector Perez-Morago
- David Fernandez-Amoros
- Roberto Bean
- F. Javier Cabrerizo
- Carlos Cerrada
- Enrique Herrera-Viedma
Publisher: IOS Press
ISBN: 978-1-61499-673-6
Year of publication: 2016
Pages: 139-154
Type: Conference paper