List of works - Chico Sundermann - Paulina

List of works by Chico Sundermann

Efficient Slicing of Feature Models via Projected d-DNNF Compilation

scientific article published on 18 October 2024

Generating Feature Models with UVL's Full Expressiveness

scientific article published on 12 August 2024

How Easy is SAT-Based Analysis of a Feature Model?

scientific article published on 23 January 2024

On the Benefits of Knowledge Compilation for Feature-Model Analyses

scientific article published on 09 August 2024

Towards Deterministic Compilation of Binary Decision Diagrams From Feature Models

scientific article published on 09 August 2024

Paulina is supported by:

About Paulina

Help