The Power of Disjoint Support Decompositions in Decision Diagrams

Vinkhuijzen, Lieuwe; Laarman, Alfons

doi:10.1007/978-3-031-06773-0_42

Cited by 1 publication

(1 citation statement)

References 25 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Both analysis types, depend on arbitrarily changed formulas and, thus, not on a fixed feature-model instance. While some changes (e.g., adding an optional feature) may be applicable to a knowledge-compilation DNNF DNNF [84,85] d-DNNF d-DNNF [86][87][88] Decision-DNNF [86][87][88] s-d-DNNF [85,86,88] s-Decision-DNNF [85,86,88] EADT EADT [89] SDD SDD [41,90] ZSDD [91] Decision-SDD [92] BDD BDD [93] FBDD [94] OBDD [93] ROBDD [93] ZBDD/ZDD [95] C-OBDD [96] C-NSOBDD [96] DSDBDD [97] TBDD [98] MODS MODS [25] Table 9 Tractability of feature-model analyses for knowledge-compilation target languages…”

Section: Knowledge-compilation Target Languagesmentioning

confidence: 99%

On the benefits of knowledge compilation for feature-model analyses

Sundermann,

Kuiter,

Heß

et al. 2023

Ann Math Artif Intell

View full text Add to dashboard Cite

Feature models are commonly used to specify the valid configurations of product lines. As industrial feature models are typically complex, researchers and practitioners employ various automated analyses to study the configuration spaces. Many of these automated analyses require that numerous complex computations are executed on the same feature model, for example by querying a SAT or SATsolver. With knowledge compilation, feature models can be compiled in a one-time effort to a target language that enables polynomial-time queries for otherwise more complex problems. In this work, we elaborate on the potential of employing knowledge compilation on feature models. First, we gather various feature-model analyses and study their computational complexity with regard to the underlying computational problem and the number of solver queries required for the respective analysis. Second, we collect knowledge-compilation target languages and map feature-model analyses to the languages that make the analysis tractable. Third, we empirically evaluate publicly available knowledge compilers to further inspect the potential benefits of knowledge-compilation target languages.

show abstract