Login / Signup

On the exact ordered binary decision diagram size of totally symmetric functions.

Mark A. Heap
Published in: J. Electron. Test. (1993)
Keyphrases
  • binary decision diagrams
  • decision diagrams
  • data structure
  • computational complexity
  • multi dimensional
  • planning problems
  • boolean functions
  • space complexity
  • pseudo boolean constraints