Login / Signup

Sylvan: multi-core framework for decision diagrams.

Tom van DijkJaco van de Pol
Published in: Int. J. Softw. Tools Technol. Transf. (2017)
Keyphrases
  • data sets
  • data structure
  • graphical models
  • computational efficiency
  • decision diagrams