Towards Deterministic Compilation of Binary Decision Diagrams From Feature Models
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: SPLC: Software Product Line Conference / Association for Computing Machinery (ACM) (Hrsg.)2024. - S. 136-147. - ISBN 979-8-4007-0593-9
- Ereignis
-
Veröffentlichung
- (wo)
-
Ulm
- (wer)
-
Universität Ulm
- (wann)
-
2024
- Urheber
-
Heß, Tobias
Semmler, Sean Niklas
Sundermann, Chico
Torán, Jacobo
Thüm, Thomas
- DOI
-
10.18725/OPARU-55668
- URN
-
urn:nbn:de:bsz:289-oparu-55743-2
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:23 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Heß, Tobias
- Semmler, Sean Niklas
- Sundermann, Chico
- Torán, Jacobo
- Thüm, Thomas
- Universität Ulm
Entstanden
- 2024
Ähnliche Objekte (12)
Binary decision diagrams and integer programming
Binary decision diagrams for random Boolean functions
Binary decision diagrams for random Boolean functions
Dynamic fault tree analysis using binary decision diagrams
Analyzing Feature-Model Histories with Binary Decision Diagrams
Hashing Strategies for Concurrent Building of Binary Decision Diagrams
Iron - binary phase diagrams
Domain-specific variable ordering for compiling binary decision diagrams from feature models
Improving the power of ordered binary decision diagrams by integrating parity nodes
Phi4tools: compilation of Feynman diagrams for Landau-Ginzburg-Wilson theories
Spectral interpretation of decision diagrams
A new algorithm for the quantified satisfiability problem, based on zero-suppressed binary decision diagrams and memoization
Binary decision diagrams and integer programming
Binary decision diagrams for random Boolean functions
Binary decision diagrams for random Boolean functions
Dynamic fault tree analysis using binary decision diagrams
Analyzing Feature-Model Histories with Binary Decision Diagrams
Hashing Strategies for Concurrent Building of Binary Decision Diagrams
Iron - binary phase diagrams
Domain-specific variable ordering for compiling binary decision diagrams from feature models
Improving the power of ordered binary decision diagrams by integrating parity nodes
Phi4tools: compilation of Feynman diagrams for Landau-Ginzburg-Wilson theories
Spectral interpretation of decision diagrams
A new algorithm for the quantified satisfiability problem, based on zero-suppressed binary decision diagrams and memoization
Binary decision diagrams and integer programming
Binary decision diagrams for random Boolean functions
Binary decision diagrams for random Boolean functions
Dynamic fault tree analysis using binary decision diagrams
Analyzing Feature-Model Histories with Binary Decision Diagrams
Hashing Strategies for Concurrent Building of Binary Decision Diagrams
Iron - binary phase diagrams
Domain-specific variable ordering for compiling binary decision diagrams from feature models
Improving the power of ordered binary decision diagrams by integrating parity nodes
Phi4tools: compilation of Feynman diagrams for Landau-Ginzburg-Wilson theories
Spectral interpretation of decision diagrams