Tsutomu Sasao

Logic Synthesis and Optimization

Representations of Discrete Functions

Switching Theory for Logic Synthesis

Memory-Based Logic Synthesis

Logic Synthesis and Verification

Applications of Zero Supressed Decision

Index Generation Functions

Applications of Zero-Suppressed Decision Diagrams

Progress in Applications of Boolean Functions

Classification Functions for Machine Learning and Data Mining