1. 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 Conference, DTU-tryk, pp. 131–138 (2004)
2. 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)
3. Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers 8, 677–691 (1986)
4. Hadzic, T., Andersen, H.R.: Interactive Reconfiguration in Power Supply Restoration. Technical Report ITU-TR-2004-68, IT University of Copenhagen (2005)
5. Lecture Notes in Computer Science;S. Subbarayan,2005