Memory-Based Logic Synthesis | lit.salon