Enumeration of valid partial configurations
Paper in proceedings, 2011

Models of configurable products can have hundreds of variables and thousands of configuration constraints. A product engineer usually has a limited responsibility area, and thus is interested in only a small subset of the variables that are relevant to the responsibility area. It is important for the engineer to have an overview of possible products with respect to the responsibility area, with all irrelevant information omitted. Configurations with some variables omitted we will call partial configurations, and we will call a partial configuration valid if it can be extended to a complete configuration satisfying all configuration constraints. In this paper we consider exact ways to compute valid partial configurations: we present two new algorithms based on Boolean satisfiability solvers, as well as ways to use knowledge compilation methods (Binary Decision Diagrams and Decomposable Negation Normal Form) to compute valid partial configurations. We also show that the proposed methods are feasible on configuration data from two automotive companies.

DNNF

SAT

BDD

Product Configuration

Author

Alexey Voronov

Chalmers, Signals and Systems, Systems and control, Automation

Knut Åkesson

Chalmers, Signals and Systems, Systems and control, Automation

Fredrik Ekstedt

Proceedings of Workshop on Configuration, IJCAI 2011

1613-0073 (ISSN)

Vol. 755 25-31

Areas of Advance

Information and Communication Technology

Production

Subject Categories

Computer Science

More information

Created

10/6/2017