KL-Cuts: A New Approach for Logic Synthesis