Two-level logic minimization is an attractive topic in the active research domain and it is a central problem in logic synthesis, as well as in reliability analysis and automated reasoning and other real life applications. But, this Two-level logic minimization problem involves computationally intractable problems and many heuristic approaches have been developed to cope with this problem. This book contains the work which deals with the Two-level logic minimization problem using a popular data structure called Binary Decision Diagram (BDD) which is an important family of data structures that...