1. R. Bakker , F. Dikker , F. Tempelman , and P. Wogmim . 1993. Diagnosing and solving over-determined constraint satisfaction problems . In IJCAI'93 . Morgan Kaufmann, 276--281. R. Bakker, F. Dikker, F. Tempelman, and P. Wogmim. 1993. Diagnosing and solving over-determined constraint satisfaction problems. In IJCAI'93. Morgan Kaufmann, 276--281.
2. Feature Models, Grammars, and Propositional Formulas
3. D. Benavides , A. Felfernig , J. Galindo , and F. Reinfrank . 2013 . Automated Analysis in Feature Modelling and Product Configuration. In ICSR'13 (LNCS, 7925) . Springer, Pisa, Italy, 160--175. D. Benavides, A. Felfernig, J. Galindo, and F. Reinfrank. 2013. Automated Analysis in Feature Modelling and Product Configuration. In ICSR'13 (LNCS, 7925). Springer, Pisa, Italy, 160--175.
4. Automated analysis of feature models 20 years later: A literature review
5. A. Felfernig , D. Benavides , J. Galindo , and F. Reinfrank . 2013 . Towards Anomaly Explanation in Feature Models. In 15th International Configuration Workshop . Vienna, Austria, 117--124. A. Felfernig, D. Benavides, J. Galindo, and F. Reinfrank. 2013. Towards Anomaly Explanation in Feature Models. In 15th International Configuration Workshop. Vienna, Austria, 117--124.