bookmark

Harald Sack: Improving the Power of Ordered Binary Decision Diagrams by Integrating Parity Nodes

http://ub-dok.uni-trier.de/diss/diss72/20020111/20020111.htm

Description

Dissertation

Preview

Tags

Users

Comments and Reviewsshow / hide

Please log in to take part in the discussion (add own reviews or comments).