BDD-based Recursive and Conditional Modular Interactive Product Configuration

Interactive product configuration is a difficult problem in constraint programming. One of the reasons for this is that interactivity requires that the system always responds fast. One of the ways to deal with this requirement is to adopt a two-stage approach in which a product model is compiled off-line before user interaction takes place.