Author:
Zhan Zhijuan,Zhan Yunjiao,Huang Mingyu,Liu Yumei
Publisher
Springer International Publishing
Reference12 articles.
1. Pohl, K., Böckle, G., Linden, F.J.V.D.: Software product line engineering: foundations, principles, and techniques. In: Proceedings of the First International Workshop on Formal Methods in Software Product Line Engineering, vol. 49, no. 12, pp. 29–32 (2005)
2. Cook, S.A.: The complexity of theorem-proving procedures. In: ACM Symposium on Theory of Computing, Shaker Heights, Ohio, USA, 3–5 May 1971
3. Benavides, D., Segura, S., Ruiz-Cortés, A.: Automated analysis of feature models 20 years later: a literature review ☆. Inf. Syst. 35(6), 615–636 (2010)
4. Tsang, E.P.K.: Foundations of constraint satisfaction. In: DBLP, pp. 188–224 (1993)
5. Benavides, D., Cortés, R.A., Trinidad, P.: Coping with automatic reasoning on software product lines (2004)