Calculating Valid Domains for BDD-Based Interactive Configuration