The goal of this section is to explain how to get most performance out of POLYBORI using the underlying ZDD structure.
This awareness can be seen on several levels
- ZDD unaware, pure algebraic programming
- low level friendly programming
- replacing algebraic operations by (a composition of) set operations
- decision-diagram style recursive programming without caching
- decision-diagram style recursive programming with caching
- using ZDDs for many other things than polynomial arithmetics
Subsections
2010-09-14