E-LIB Suche - Ergebnisse für: Chico Sundermann

1

UVLHub: a feature model data repository using UVL and open ..:

David Romero-Organvidez ; José A. Galindo ; Chico Sundermann..
doi:10.5281/zenodo.8189754. , 2023

Link: https://zenodo.org/recor..

2

Tseitin or not Tseitin? The Impact of CNF Transformations o..:

Elias Kuiter ; Sebastian Krieter ; Chico Sundermann..
https://github.com/ekuiter/tseitin-or-not-tseitin. , 2022

Link: https://zenodo.org/recor..

3

Tseitin or not Tseitin? The Impact of CNF Transformations o..:

Elias Kuiter ; Sebastian Krieter ; Chico Sundermann..
https://github.com/ekuiter/tseitin-or-not-tseitin. , 2022

Link: https://zenodo.org/recor..

4

Tseitin or not Tseitin? The Impact of CNF Transformations o..:

Elias Kuiter ; Sebastian Krieter ; Chico Sundermann..
https://github.com/ekuiter/tseitin-or-not-tseitin. , 2022

Link: https://zenodo.org/recor..

5

SoftVarE-Group/emse-evaluation-sharpsat: EMSE Publication:

Chico Sundermann
https://github.com/SoftVarE-Group/emse-evaluation-sharpsat/tree/v1.0. , 2022

Link: https://zenodo.org/recor..

6

Universal-Variability-Language/uvl-models: SPLC'21 Publicat..:

Chico Sundermann ; Kevin Feichtinger
https://github.com/Universal-Variability-Language/uvl-models/tree/v1.0. , 2021

Link: https://zenodo.org/recor..

7

Universal-Variability-Language/uvl-evaluation-splc21: SPLC'..:

Chico Sundermann
https://github.com/Universal-Variability-Language/uvl-evaluation-splc21/tree/v1.0. , 2021

Link: https://zenodo.org/recor..

8

SoftVarE-Group/emse21-evaluation-sharpsat: v0.2: EMSE 2021 ..:

Chico Sundermann
https://github.com/SoftVarE-Group/emse21-evaluation-sharpsat/tree/v0.2. , 2021

Link: https://zenodo.org/recor..

9

Universal-Variability-Language/uvl-parser: SPLC'21 Publicat..:

Dominik Engelhardt ; Chico Sundermann
https://github.com/Universal-Variability-Language/uvl-parser/tree/v0.1.0. , 2021

Link: https://zenodo.org/recor..

10

ddueruem: A Wrapper for Feature-Model Analysis Tools:

Heß, Tobias ; Müller, Tobias ; Sundermann, Chico.
http://dx.doi.org/10.18725/OPARU-50730. , 2023

Link: https://doi.org/10.18725..

11

Tutorial on the Universal Variability Language:

Sundermann, Chico ; Feichtinger, Kevin ; Galindo, José A...
http://dx.doi.org/10.18725/OPARU-50877. , 2023

Link: https://doi.org/10.18725..

12

Exploiting d-DNNFs for Repetitive Counting Queries on Featu..:

Sundermann, Chico ; Raab, Heiko ; Heß, Tobias..
http://arxiv.org/abs/2303.12383. , 2023

Link: http://arxiv.org/abs/230..

13

It's Your Loss: Classifying Information Loss During Variabi..:

Feichtinger, Kevin ; Sundermann, Chico ; Thüm, Thomas.
http://dx.doi.org/10.18725/OPARU-50876. , 2023

Link: https://doi.org/10.18725..

14

Tseitin or not Tseitin? The Impact of CNF Transformations o..:

Kuiter, Elias ; Krieter, Sebastian ; Sundermann, Chico..
http://dx.doi.org/10.18725/OPARU-50731. , 2023

Link: https://doi.org/10.18725..

15

SPLC '22: Proceedings of the 26th ACM International Systems..:

Feichtinger, Kevin ; Sundermann, Chico ; Thüm, Thomas.
vignette : https://epub.jku.at/titlepage/urn/urn:nbn:at:at-ubl:3-16279/128. , 2022

Link: https://doi.org/10.1145/..