Model Counting in Product Configuration

Andreas Kübler
(Symbolic Computation Group, Wilhelm Schickard Institute for Computer Science, Universität Tübingen, Germany)
Christoph Zengler
(Symbolic Computation Group, Wilhelm Schickard Institute for Computer Science, Universität Tübingen, Germany)
Wolfgang Küchlin
(Symbolic Computation Group, Wilhelm Schickard Institute for Computer Science, Universität Tübingen, Germany)

We describe how to use propositional model counting for a quantitative analysis of product configuration data. Our approach computes valuable meta information such as the total number of valid configurations or the relative frequency of components. This information can be used to assess the severity of documentation errors or to measure documentation quality. As an application example we show how we apply these methods to product documentation formulas of the Mercedes-Benz line of vehicles. In order to process these large formulas we developed and implemented a new model counter for non-CNF formulas. Our model counter can process formulas, whose CNF representations could not be processed up till now.

In Inês Lynce and Ralf Treinen: Proceedings First International Workshop on Logics for Component Configuration (LoCoCo 2010), Edinburgh, UK, 10th July 2010, Electronic Proceedings in Theoretical Computer Science 29, pp. 44–53.
Published: 6th July 2010.

ArXived at: http://dx.doi.org/10.4204/EPTCS.29.5 bibtex PDF

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org