: In feature modelling, constraints can be used to store design intent in a model. Interaction constraints are an important type of constraints, which limit the extent to which features may interact. This paper describes a solver for constraints on interactions that involve spatial overlap between feature shapes. It is based on sampling of the parameter space of the feature model. A Monte Carlo technique is applied to reduce the expected number of samples that are needed to find a valid model.
Alex Noort, Rafael Bidarra, Willem F. Bronsvoort