Memory-Based Logic Synthesis door Tsutomu Sasao