Configuring large systems using generative constraint satisfaction
G. Fleishanderl, GERHARD E. FRIEDRICH, Alois Haselböck, Herwig Schreiner, Markus Stumptner · IEEE Intelligent Systems and their Applications · 1998
The authors used generative constraint satisfaction as the basis for Lava, an automated configuration they developed for the complex domain of telephone switching systems. They built Lava using Cocos, their knowledge-based configuration tool.