keywords Cardinality-based feature models Complexity Computer Science Computer Science, Theory & Methods Decidability EQUIVALENCE Formal language theory Logic Science & Technology Science & Technology - Other Topics Technology