research
∙
02/14/2023
Reasoning on Feature Models: Compilation-Based vs. Direct Approaches
Analyzing a Feature Model (FM) and reasoning on the corresponding config...
share
research
∙
02/11/2022
Pseudo Polynomial-Time Top-k Algorithms for d-DNNF Circuits
We are interested in computing k most preferred models of a given d-DNNF...
research
∙
07/22/2019
