On Synthesizing Memristor-Based Logic Circuits in Area-Constrained Crossbar Arrays. - Hsin-Tsung Lee; Chia-Chun Lin; Yung-Chih Chen; Chun-Yao Wang (ISQED, 2021)