Automated reasoning for multi-step feature model configuration problems.

Jules White, Brian Dougherty, Douglas C. Schmidt, David Benavides

Browse the full SPLC paper archive.