Pseudo-Boolean d-DNNF Compilation for Expressive Feature Modeling Constructs

Open in new window