Interactive Configuration by Regular String Constraints

Esben Rune Hansen, Henrik Reif Andersen

A product configurator which is complete, backtrack free and able to compute the valid domains at any state of the configuration can be constructed by building a Binary Decision Di…