Issue No. 04 - July/August (1998 vol. 13)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/5254.708434
Generative constraint satisfaction solves problems using a constraint network that is extended during the configuration process. Generative constraints hold for all components of a given type and are used as generators for extending the configuration including the constraint network. We have successfully applied generative constraint satisfaction in Lava, which is now in use configuring the EWSD (Elektronisches W?hlsystem Digital) digital switching systems developed and manufactured by Siemens AG. We implemented Lava using our domain-independent configuration tool, Cocos (configuration by constraint satisfaction).
Gerhard Fleischanderl, Herwig Schreiner, Markus Stumptner, Gerhard E. Friedrich, Alois Haselböck, "Configuring Large Systems Using Generative Constraint Satisfaction", IEEE Intelligent Systems, vol. 13, no. , pp. 59-68, July/August 1998, doi:10.1109/5254.708434