Login / Signup

On the scalability of building binary decision diagrams for current feature models.

Tobias HeßChico SundermannThomas 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