Sasao T. Switching Theory for Logic Synthesis 1999