1. Mathieu Acher , Patrick Heymans , Philippe Collet , Clément Quinton , Philippe Lahire , and Philippe Merle . 2012. Feature Model Differences . In CAiSE. Springer , 629--645. Mathieu Acher, Patrick Heymans, Philippe Collet, Clément Quinton, Philippe Lahire, and Philippe Merle. 2012. Feature Model Differences. In CAiSE. Springer, 629--645.
2. BURST
3. Dimitris Achlioptas , Zayd S. Hammoudeh , and Panos Theodoropoulos . 2018. Fast Sampling of Perfectly Uniform Satisfying Assignments . In SAT (LNCS) . Springer , Berlin, Heidelberg , 135--147. Dimitris Achlioptas, Zayd S. Hammoudeh, and Panos Theodoropoulos. 2018. Fast Sampling of Perfectly Uniform Satisfying Assignments. In SAT (LNCS). Springer, Berlin, Heidelberg, 135--147.
4. David Benavides , Sergio Segura , Pablo Trinidad , and Antonio Ruiz-Cortés . 2007 . FAMA: Tooling a Framework for the Automated Analysis of Feature Models. In VaMoS. Technical Report 2007-01, Lero, 129--134. David Benavides, Sergio Segura, Pablo Trinidad, and Antonio Ruiz-Cortés. 2007. FAMA: Tooling a Framework for the Automated Analysis of Feature Models. In VaMoS. Technical Report 2007-01, Lero, 129--134.
5. Randal E. Bryant . 1986. Graph-Based Algorithms for Boolean Function Manipulation. TC C-35, 8 ( 1986 ), 677--691. Randal E. Bryant. 1986. Graph-Based Algorithms for Boolean Function Manipulation. TC C-35, 8 (1986), 677--691.