产品配置中的型号计数
Model Counting in Product Configuration
摘要：
我们描述了如何使用命题模型计数的产品配置数据的定量分析。我们的方法计算有价值的Meta信息，如有效配置的总数或组件的相对频率。此信息可用于评估文档错误的严重性或衡量文档质量。作为一个应用程序的例子，我们展示了我们如何将这些方法应用到梅赛德斯-奔驰系列车辆的产品文档公式。为了处理这些大型公式，我们开发并实现了一个新的模型计数器的非CNF公式。我们的模型计数器可以处理公式，其CNF表示到目前为止还不能处理。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
