Abstract
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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have