Computer Science – Artificial Intelligence
Scientific paper
2010-07-07
EPTCS 29, 2010, pp. 44-53
Computer Science
Artificial Intelligence
In Proceedings LoCoCo 2010, arXiv:1007.0831
Scientific paper
10.4204/EPTCS.29.5
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.
Kübler Andreas
Küchlin Wolfgang
Zengler Christoph
No associations
LandOfFree
Model Counting in Product Configuration does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Model Counting in Product Configuration, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Model Counting in Product Configuration will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-344779