Variable ordering optimization of ROBDD using genetic algorithm /

The reduced ordered binary decision diagram (ROBDD) has been known as an effective data structure for representing and manipulating a Boolean function. The size of ROBDD is proportional to computational complexity in the Boolean function manipulation and critically depends on the order of the Bool...

Full description

Bibliographic Details

Main Author:	Ha, Chunghun
Format:	Thesis eBook
Language:	English
Published:	[Place of publication not identified] : [publisher not identified] ; 2000.
Subjects:	Major industrial engineering.
Online Access:	Link to OAKTrust copy