|
|||||
|
|
Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications |
|
| Authors: | Kai Lampka Markus Siegle Joern Ossowski Christel Baier |
| Affiliation: | 1. Computer Engineering and Communication Networks Lab., ETH Zurich, Zurich, Switzerland 2. Inst. for Comp. Eng., Univ. of the German Federal Armed Forces Munich, Munich, Germany 3. Inst. for Theoretical Comp. Sc., Technical University Dresden, Dresden, Germany |
| Abstract: | |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |