Advanced BDD Optimization
Publisher: Springer London, Limited
Published: 2005
Language: eng
ISBN-13: 9780387254548
Subjects: Decision making, mathematical models; Logic design; Algebra, boolean