1. Bryant, R.E.: Graph-based algorithms for boolean function manipulation. Transactions on Computers 8, 677–691 (1986)
2. Bouquet, F., Jégou, P.: Using OBDDs to handle dynamic constraints. Information Processing Letters 62, 111–120 (1997)
3. Hadzic, T., Subbarayan, S., Jensen, R.M., Andersen, H.R., Møller, J., Hulgaard, H.: Fast backtrack-free product configuration using a precompiled solution space representation. In: PETO, pp. 131–138 (2004)
4. van der Meer, E.R., Andersen, H.R.: BDD-based recursive and conditional modular interactive product configuration. In: CP 2004 CSPIA Workshop, pp. 112–126 (2004)
5. Subbarayan, S., Jensen, R.M., Hadzic, T., Andersen, H.R., Hulgaard, H., Møller, J.: Comparing two implementations of a complete and backtrack-free interactive configurator. In: CP 2004 CSPIA Workshop, pp. 97–111 (2004)