Applying constraint satisfaction approach to solve product configuration problems with cardinality-based configuration rules · Study