Improved computational methods and lazy evaluation of the Ordered Ternary Decision Diagram.

Per Lindgren

Browse the full ASPDAC paper archive.