Reusing d-DNNFs for Efficient Feature-Model Counting von Sundermann, Chico, Raab, Heiko, Heß, Tobias, Thüm, Thomas, Schaefer, Ina

Volltext

UVLHub: A feature model data repository using UVL and open science principles von Romero-Organvidez, David, Galindo, José A., Sundermann, Chico, Horcas, Jose-Miguel, Benavides, David

Volltext

On the benefits of knowledge compilation for feature-model analyses von Sundermann, Chico, Kuiter, Elias, Heß, Tobias, Raab, Heiko, Krieter, Sebastian, Thüm, Thomas

Volltext

Evaluating state-of-the-art # SAT solvers on industrial configuration spaces von Sundermann, Chico, Heß, Tobias, Nieke, Michael, Bittner, Paul Maximilian, Young, Jeffrey M., Thüm, Thomas, Schaefer, Ina

Volltext

Sixth International Workshop on Languages for Modelling Variability (MODEVAR 2024) von Galasso-Carbonnel, Jessie, Sundermann, Chico

Volltext bestellen

Dataset for ASE'24 Efficient Slicing of Feature Models via Projected d-DNNF Compilation von Sundermann, Chico, Loth, Jacob

Volltext bestellen

Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models von Sundermann, Chico, Raab, Heiko, Heß, Tobias, Thüm, Thomas, Schaefer, Ina

Volltext bestellen

Sixth International Workshop on Languages for Modelling Variability (MODEVAR 2024) von Galasso-Carbonnel, Jessie, Sundermann, Chico

Volltext

Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models von Sundermann, Chico, Raab, Heiko, Heß, Tobias, Thüm, Thomas, Schaefer, Ina

Volltext

Artifact for "Towards Deterministic Compilation of Binary Decision Diagrams From Feature Models" von Heß, Tobias, Semmler, Sean Niklas, Sundermann, Chico, Toran, Jacobo, Thüm, Thomas

Volltext bestellen

Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses (Replication Package) von Kuiter, Elias, Krieter, Sebastian, Chico Sundermann, Thüm, Thomas, Saake, Gunter

Volltext bestellen