1. Dimitris Achlioptas , Zayd S. Hammoudeh , and Panos Theodoropoulos . 2018 . Fast Sampling of Perfectly Uniform Satisfying Assignments. In 21st International Conference on Theory and Applications of Satisfiability Testing (SAT) . Oxford, UK, 135–147. Dimitris Achlioptas, Zayd S. Hammoudeh, and Panos Theodoropoulos. 2018. Fast Sampling of Perfectly Uniform Satisfying Assignments. In 21st International Conference on Theory and Applications of Satisfiability Testing (SAT). Oxford, UK, 135–147.
2. Thorsten Berger , Divya Nair , Ralf Rublack , Joanne M. Atlee , Krzysztof Czarnecki , and Andrzej Wasowski . 2014 . Three Cases of Feature-Based Variability Modeling in Industry. In Model-Driven Engineering Languages and Systems International Conference (MODELS) . Valencia, Spain, 302–319. Thorsten Berger, Divya Nair, Ralf Rublack, Joanne M. Atlee, Krzysztof Czarnecki, and Andrzej Wasowski. 2014. Three Cases of Feature-Based Variability Modeling in Industry. In Model-Driven Engineering Languages and Systems International Conference (MODELS). Valencia, Spain, 302–319.
3. A Study of Variability Models and Languages in the Systems Software Domain
4. The state of adoption and the challenges of systematic variability management in industry
5. Armin Biere , Marijn Heule , Hans van Maaren , and Toby Walsh . 2009. Handbook of Satisfiability : Volume 185 Frontiers in Artificial Intelligence and Applications. IOS Press . Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh. 2009. Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications. IOS Press.