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

Volltext

UVL: Feature modelling with the universal variability language von Benavides, David, Sundermann, Chico, Feichtinger, Kevin, Galindo, José A., Rabiser, Rick, Thüm, Thomas

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

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

Volltext bestellen

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

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

ConVes: The Sutureless Aortic Graft Anastomotic Device von Dual, Seraina Anne, Muller, Alissa, Boës, Stefan, Brinkmann, Oliver, Steffanoni, Séline, Falk, Volkmar, Meboldt, Mirko, Schmid Daners, Marianne, Sündermann, Simon

Volltext

Transforming Numerical Feature Models into Propositional Formulas and the Universal Variability Language von Munoz, Daniel-Jesus, Pinto, Mónica, Fuentes, Lidia, Batory, Don

Volltext

How Low Can We Go? Minimizing Interaction Samples for Configurable Systems von Krupke, Dominik, Moradi, Ahmad, Perk, Michael, Keldenich, Phillip, Gehrke, Gabriel, Krieter, Sebastian, Thüm, Thomas, Fekete, Sándor P.

Volltext

FM-PRO: A Feature Modeling Process von Martinson, Johan, Mahmood, Wardah, Gyimah, Jude, Berger, Thorsten

Volltext

Contributions of airborne dispersal and dormant propagule recruitment to the assembly of rotifer and crustacean zooplankton communities in temporary ponds von Lopes, Paloma M., Bozelli, Reinaldo, Bini, Luis M., Santangelo, Jayme M., Declerck, Steven A. J.

Volltext

Structure-based optimization of oxadiazole-based GSK-3 inhibitors von Lo Monte, Fabio, Kramer, Thomas, Gu, Jiamin, Brodrecht, Martin, Pilakowski, Johannes, Fuertes, Ana, Dominguez, Juan Manuel, Plotkin, Batya, Eldar-Finkelman, Hagit, Schmidt, Boris

Volltext

Disentangling the correlates of species and site contributions to beta diversity in dung beetle assemblages von da Silva, Pedro Giovâni, Hernández, Malva Isabel Medina, Heino, Jani

Volltext

On the Expressive Power of Languages for Static Variability von Bittner, Paul Maximilian, Schultheiß, Alexander, Moosherr, Benjamin, Young, Jeffrey M., Teixeira, Leopoldo, Walkingshaw, Eric, Ataei, Parisa, Thüm, Thomas

Volltext