Login / Signup
On the scalability of building binary decision diagrams for current feature models.
Tobias Heß
Chico Sundermann
Thomas Thüm
Published in:
SPLC (A) (2021)
Keyphrases
</>
binary decision diagrams
probabilistic model
databases
real world
machine learning
artificial intelligence
data structure
natural language
expert systems
symbolic model checking