Towards Deterministic Compilation of Binary Decision Diagrams From Feature Models
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: SPLC: Software Product Line Conference / Association for Computing Machinery (ACM) (Hrsg.)2024. - S. 136-147. - ISBN 979-8-4007-0593-9
- Event
-
Veröffentlichung
- (where)
-
Ulm
- (who)
-
Universität Ulm
- (when)
-
2024
- Creator
-
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
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
16.03.0011, 5:23 AM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Heß, Tobias
- Semmler, Sean Niklas
- Sundermann, Chico
- Torán, Jacobo
- Thüm, Thomas
- Universität Ulm
Time of origin
- 2024
Other Objects (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