How to program efficiently

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

Subsections

2009-10-25