Fibonacci Decision Diagrams