SAT-based Analysis of Large Real-world Feature Models is Easy

Open in new window