Description: Advanced BDD optimization/

Main Author:	Ebendt, Rudiger
Other Authors:	Fey, Goschwin, Drechsler, Rolf
Format:	Book
Language:	English
Published:	Dordrecht ; New York: Springer, c2005
Subjects:	Decision making > Mathematical models Decision trees Logic design > Mathematics

Physical Description:	x, 222 p. : ill. ; 25 cm.
Bibliography:	Includes bibliographical references (p. 213-220) and index.
ISBN:	0387254536