Model Counting in Product Configuration - Computer Science > Artificial IntelligenceReport as inadecuate




Model Counting in Product Configuration - Computer Science > Artificial Intelligence - Download this document for free, or read online. Document in PDF available to download.

Abstract: We describe how to use propositional model counting for a quantitativeanalysis of product configuration data. Our approach computes valuable metainformation such as the total number of valid configurations or the relativefrequency of components. This information can be used to assess the severity ofdocumentation errors or to measure documentation quality. As an applicationexample we show how we apply these methods to product documentation formulas ofthe Mercedes-Benz line of vehicles. In order to process these large formulas wedeveloped and implemented a new model counter for non-CNF formulas. Our modelcounter can process formulas, whose CNF representations could not be processedup till now.



Author: Andreas Kübler Symbolic Computation Group, Wilhelm Schickard Institute for Computer Science, Universität Tübingen, Germany, Ch

Source: https://arxiv.org/







Related documents