Model Counting in Product Configuration
| Autor: | Christoph Zengler, Andreas Kübler, Wolfgang Küchlin |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2010 |
| Předmět: |
FOS: Computer and information sciences
Computer Science - Symbolic Computation Measure (data warehouse) Computer Science - Logic in Computer Science Computer science Computer Science - Artificial Intelligence media_common.quotation_subject lcsh:Mathematics Process (computing) Symbolic Computation (cs.SC) lcsh:QA1-939 Frequency lcsh:QA75.5-76.95 Logic in Computer Science (cs.LO) Artificial Intelligence (cs.AI) Documentation Quantitative analysis (finance) Product (mathematics) Line (geometry) Quality (business) lcsh:Electronic computers. Computer science Algorithm media_common |
| Zdroj: | Electronic Proceedings in Theoretical Computer Science, Vol 29, Iss Proc. LoCoCo 2010, Pp 44-53 (2010) LoCoCo |
| ISSN: | 2075-2180 |
| Popis: | 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 Proceedings LoCoCo 2010, arXiv:1007.0831 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|