Tag: binary-decision-diagrams

Found 6 results for 'binary-decision-diagrams'.

---

1) cc.complexity-theory - Trade off between width and depth of free BDDs for total functions
2) cc.complexity-theory - Bounds on the size of smallest decision tree for a boolean function?
3) sorting - Compatible partial permutations
4) cc.complexity-theory - Boolean functions with exponential size OBDD representation in all orders except one order?
5) cc.complexity-theory - Boolean function with specific ОBDD representation
6) implementation - Operations on Sentential Decision Diagrams

---