Interactive Configuration Using Constraint Satisfaction Techniques

Contents

In this paper we focus on techniques for incremental constraint-based configuration with discrete and continuous variables. We show how to formalize constraint knowledge using compatibility and activity constraints and how this knowledge is used for reasoning within an intelligent CAD system.